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

Active Bibliography

224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
1 The EXCEPT II Default Reasoning System – Ulrich Junker - 1991
Chapter 6 Nonmonotonic Reasoning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński
8 Default Logic – David Poole - 1998
39 Computing With Default Logic – Pawel Cholewinski, Victor W. Marek, Artur Mikitiuk, Miros/law Truszczynski - 1999
37 Experimenting with Nonmonotonic Reasoning – Paweł Cholewinski , V. Wiktor Marek, Artur Mikitiuk, Mirosław Truszczynski - 1995
9 An Argument-Based Approach to Reasoning with Specificity – Phan Minh Dung, Tran Cao Son - 2001
1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994
59 Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence – Matthew Ginsberg - 1988
3 Reasoning about Persistence: A Unified Principle for State Change – Yan Zhang, Fangzhen Lin, Eliezer L. Lozinskii, Ray Reiter, Discussions Nicholas Asher, Andreas Herzig - 1994
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
31 Modal description logics: Modalizing roles – Frank Wolter, Michael Zakharyaschev - 1999
10 Foundations of Knowledge Representation and Reasoning – Gerhard Lakemeyer, Bernhard Nebel - 1994
1 ExClaim: a language for operationalizing CommonKADS expertise models using description logics – Liviu Badea, Doina Tilivea
49 Terminological Knowledge Representation: A Proposal for a Terminological Logic – Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich - 1992
193 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
275 Basic Description Logics – Franz Baader, Werner Nutt - 2003