Embedding Defaults into Terminological Knowledge Representation Formalisms (1995)

Cached

Download Links

by Franz Baader , Bernhard Hollunder
Venue:Journal of Automated Reasoning
Citations:125 - 6 self

Documents Related by Co-Citation

1430 A logic for default reasoning – R Reiter - 1980
106 Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies – Stefan Schlobach - 2003
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003
26 Relating default logic and circumscription – D W Etherington - 1987
180 Complexity Results for Nonmonotonic Logics – G Gottlob - 1992
71 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
871 A Theory of Diagnosis from First Principles – Raymond Reiter - 1987
1638 Agents and the Semantic Web – James Hendler - 2001
324 Circumscription – Vladimir Lifschitz - 1996
410 First-Order Logic and Automated Theorem Proving. 2nd edition – Melvin Fitting - 1996
31 The complexity of closed world reasoning and circumscription – M Cadoli, M Lenzerini - 1994
10988 Computers and Intractability: A Guide to the Theory of NP-completeness – M Garey, D Johnson - 1979
93 On the Relationship Between Circumscription and Negation as Failure – M Gelfond, H Przymusinska, T Przymusinski - 1989
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
83 Qualifying Number Restrictions in Concept Languages – F Baader, B Hollunder - 1991
373 RACER system description – Volker Haarslev, Ralf Möller - 2001
20 Finding maximally satisfiable terminologies for the description logic ALC – Thomas Meyer, Kevin Lee - 2006
49 How to Prefer More Specific Defaults in Terminological Default Logic – Franz Baader, Bernhard Hollunder - 1993
131 G.: Attributive concept descriptions with complements – M Schmidt-Schaubß, Smolka - 1991