Publications

Revise - An Extended Logic Programming System For Revising Knowledge Bases

AuthID
P-001-M0W

Author(s)

DAMASIO, CV

NEJDL, W

PEREIRA, LM

Editor(s)

Doyle, J; Sandewall, E; Torasso, P

Document Type

Proceedings Paper

Year published

1994

Published

in PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE (KR '94) in MORGAN KAUFMANN SERIES IN REPRESENTATION AND REASONING

Pages: 607-618 (12)

Conference

4Th International Conference on Principles of Knowledge Representation and Reasoning, Date: MAY 24-27, 1994, Location: BONN, GERMANY, Sponsors: GESELL INFORMAT, AUSTRIAN SOC ARTIFICIAL INTELLIGENCE, CANADIAN SOC COMPUTAT STUDIES INTELLIGENCE, EUROPEAN COORDINATING COMM ARTIFICIAL INTELLIGENCE, AMER ASSOC ARTIFICIAL INTELLIGENCE, INT JOINT CONF ARTIFICIAL INTELLIGENCE

Indexing