Author of the publication

On the Adequacy of Predicate Circumscription for Closed-World Reasoning.

, , and . NMR, page 70-81. American Association for Artificial Intelligence (AAAI), (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formalizing Non-Monotonic Reasoning Systems. 1. University of British Columbia, Vancouver, Canada, V6T 1W5, (1983)AAAI Workshop on Non-Monotonic Reasoning - Report.. AI Mag., 6 (2): 92-93 (1985)Formalising Reasoning about Change: A Qualitative Reasoning Approach., and . AAAI, page 577-583. AAAI Press / The MIT Press, (1992)Critical Issues in Nonmonotonic Reasoning., , , , and . KR, page 500-504. Morgan Kaufmann, (1989)Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning., and . KR, page 33-43. Morgan Kaufmann, (1989)On the Adequacy of Predicate Circumscription for Closed-World Reasoning., , and . NMR, page 70-81. American Association for Artificial Intelligence (AAAI), (1984)A Semantics for Default Logic.. IJCAI, page 495-498. Morgan Kaufmann, (1987)What Does Knowledge Representation Have to Say to Artificial Intelligence?. AAAI/IAAI, page 762. AAAI Press / The MIT Press, (1997)A Non-Deterministic Semantics for Tractable Inference., and . AAAI/IAAI, page 286-291. AAAI Press / The MIT Press, (1998)Vivid Knowledge and Tractable Reasoning., , , and . IJCAI, page 1146-1152. Morgan Kaufmann, (1989)