Nebel, B. (1991) Belief Revision and Default Reasoning: Syntax-Based Approaches, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 417-428. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
The Complexity of Checking Redundancy of CNF Propositional.. - Liberatore (2002) (1 citation) (Correct)
Vol.15 No.5 J. Cornput. Sci. Technol. Sept. 2000.. - Syntax-Independent.. (Correct)
Basic Infobase Change - Meyer (2000) (3 citations) (Correct)
Default Reasoning from Conditional Knowledge Bases.. - Eiter, Lukasiewicz (2000) (2 citations) (Correct)
The Role of Abductive Reasoning within the Process of Belief.. - Pagnucco (1996) (12 citations) (Correct)
On Updates of Logic Programs: Semantics and Properties - Eiter, Fink, al. (2002) (Correct)
Succinct Representations of Model Based Belief Revision (Extended.. - Penna (2000) (Correct)
Default Reasoning and Belief Revision: A Syntax-Independent.. - Zhang, Zhu, Chen (Correct)
The Compactness of Belief Revision and Update Operators - Liberatore, Schaerf (2000) (Correct)
Approximate Reasoning about Combined Knowledge - Koriche (1998) (3 citations) (Correct)
On Updates of Logic Programs: Semantics and Properties - Eiter, Sabbatini, Fink.. (2000) (Correct)
Another perspective on Default Reasoning - Lehmann (1992) (29 citations) (Correct)
Deduction and Consistency Checking in Object Oriented Schema.. - Theodoratos (1995) (Correct)
Default reasoning from conditional knowledge bases: Complexity.. - Eiter, al. (2000) (2 citations) (Correct)
Applying Theory of Evidence in multisensor data fusion: a logical .. - Cholvy (2000) (Correct)
What Is Believed Is What Is Explained (Sometimes) - Li, Pereira (1996) (Correct)
Cumulative Updates - Sripada, Wüthrich (1994) (Correct)
The Complexity of Nested Counterfactuals and Iterated.. - Eiter, Gottlob (1993) (7 citations) (Correct)
Abductive Logic Programming - Kakas, Kowalski, Toni (1993) (172 citations) (Correct)
On the Complexity of Propositional Knowledge Base Revision.. - Eiter, Gottlob (1992) (85 citations) (Correct)
The Complexity of Logic-Based Abduction - Eiter, Gottlob (1993) (59 citations) (Correct)
The Implementation of a First-Order Logic AGM Belief Revision.. - Simon Dixon And (1993) (6 citations) (Correct)
Basic Infobase Change - Meyer (1999) (3 citations) (Correct)
What to Believe When Inferences are Contradicted: The Impact of.. - Elio (1997) (Correct)
A Framework for Controlling Model-Based Diagnosis Systems.. - Böttcher, Dressler (1992) (6 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC