Embedding Defaults into Terminological Knowledge Representation Formalisms (1995)

Cached

Download Links

by Franz Baader , Bernhard Hollunder
Venue:Journal of Automated Reasoning
Citations:112 - 5 self

Documents Related by Co-Citation

1247 A logic for default reasoning – R Reiter - 1980
224 Basic Description Logics – Franz Baader, Werner Nutt - 2003
88 Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies – Stefan Schlobach - 2003
24 Relating default logic and circumscription – D W Etherington - 1987
165 Complexity results for nonmonotonic logics – G Gottlob - 1992
70 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
855 Negation as Failure – K L Clark - 1978
63 DL+log: Tight integration of description logics and disjunctive datalog – Riccardo Rosati - 2006
156 A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web – Thomas Lukasiewicz - 2004
71 Description logics of minimal knowledge and negation as failure – F M Donini, D Nardi, R Rosati
66 Minimal Belief and Negation as Failure – Vladimir Lifschitz - 1994
1388 Agents and the Semantic Web – James Hendler - 2001
300 Circumscription – Vladimir Lifschitz - 1996
376 First-order Logic and Automated Theorem Proving (2nd ed – M Fitting - 1996
689 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
153 The kl-one family – William A Woods, James G Schmolze - 1992
407 Semantical considerations on nonmonotonic logic – Robert Moore - 1985
29 The complexity of closed world reasoning and circumscription – M Cadoli, M Lenzerini - 1994
90 On the relationship between circumscription and negation as failure – M Gelfond, H Przymusinska, T C Przymusinski - 1989