Adding priorities and specificity to default logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 838 LNAI, Issue , 1994, Pages 247-260

  Brewka, Gerhard ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS;

DEFAULT LOGIC; DEFAULT REASONING; S-SYSTEMS;

FORMAL LOGIC;

EID: 85028463688     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0021977     Document Type: Conference Paper

References (23)

1. Baader, Franz, Hollunder, Bernhard, How to Prefer More Specific Defaults in Terminological Default Logic, Proc. IJCAI-93, Chambery, France, 1993
2. Bidoit, Nicole, Froidevaux, Christine, Negation by Default and Non-Stratifiable Logic Programs, Research Report 437, Universite Paris Sud, Centre d’Orsay, LRI, 1988
3. Boutilier, Craig, Conditional Logics for Default Reasoning and Belief Revision, PhD thesis, Dep. of Computer Science, Univ. of Toronto, 1992
4. Brewka, Gerhard, Preferred Subtheories-An Extended LogicM Framework for Default Reasoning, Proc. IJCAI-89, Detroit, 1989
5. Brewka, Gerhard: Cumulative Default Logic-In Defense of Nonmonotonic Inference Rules, Artificial Intelligence 50, 1991
6. Brewka, Gerhard, Konolige, Kurt, An Abductive Framework for General Logic Programs and Other Nonmonotonic Systems, Proc. IJCAI-93, Chambery, France, 1993
7. Delgrande, J.P., A First-Order Conditional Logic for Prototypical Properties, Artificial Intelligence, 33(1), 1987
8. Delgrande, J.P., Jackson, W.K, Default Logic Revisited, Proc. Second InternationaJ Conference on Principles of Knowledge Representation and Reasoning, 1991
9. Delgrande, J.P., Schaub, T., On Using System Z to Generate Prioritised Default Theories: Extended Abstract, unpublished manuscript
10. Geffner, Hector, Pearl, Judea, Conditional Entailment: Bridging Two Approaches to Default Reasoning, Artificial Intelligence 53, 1992
11. Lehmann, D., What Does a Conditional Knowledge Base Entail?, Proc. First International Conference on Principles of Knowledge Representation and Reasoning, 1990
12. Nute, D., Defeasible Reasoning: A Philosophical Analysis in Prolog, in: J. Fetzer (ed), Aspects of Artificial Intelligence, Kluwer, Boston, 1988
13. Pearl, Judea, System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning, Proc. Third Conference on Theoretical Aspects of Reasoning About Knowledge, 1990
14. Poole, David, On the Comparison of Theories: Prefering the Most Specific Explanation, Proc. IJCAI-85, Los Angeles, 1985
15. Poole, David, Dialectics and Specificity: Conditioning in Logic-Based Hypothetical Reasoning (Prehminary Report), Proc. 3rd Intl. Workshop on Nonmonotonic Reasoning, South Lake Tahoe, 1990
16. Prakken, Henry, Logical Tools for Modelling Legal Argument, dissertation, VU Amsterdam, 1993
17. Reiter, Raymond, A Logic for Default Reasoning, Artificial Intelligence 13 (1980) 81-132.
18. Reiter, Raymond, Criscuolo, G., On Interacting Defaults, Proc. IJCAI 81, 1981
19. Simari, G., Lout, R., A Mathematical Treatment of Defeasible Reasoning and its Implementation, Artificial Intelligence 53 (1992)
20. Tan, Yao Hua, Treur, Jan, Constructive Default Logic and the Control of Defeasible Reasoning, Proc. ECAI 92, Vienna, 1992
21. Touretzky, David S., The Mathematics of Inheritance, Pitman Research Notes in Artificial Intelligence, London, 1986
22. Touretzky, David S., Horty, John F., Thomason, Richmond H., A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems, Proc. IJCAI-87, Milan, 1987
23. Touretzky, David S., Thomason, Richmond H., Horty, John F., A Skeptic’s Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonmonotonic Inheritance, Proc. 12th IJCAI, Sydney, 1991