- An Introduction to Description Logic.Franz Baader, Ian Horrocks, Carsten Lutz & Uli Sattler - 2017 - Cambridge, England: Cambridge University Press.details
|
|
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.details
|
|
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.details
|
|
First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.details
|
|
What does a conditional knowledge base entail?Daniel Lehmann & Menachem Magidor - 1992 - Artificial Intelligence 55 (1):1-60.details
|
|
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.details
|
|
Semantic characterization of rational closure: From propositional logic to description logics.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2015 - Artificial Intelligence 226 (C):1-33.details
|
|
A non-monotonic Description Logic for reasoning about typicality.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2013 - Artificial Intelligence 195 (C):165-202.details
|
|
Preferential Accessibility and Preferred Worlds.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Logic, Language and Information 27 (2):133-155.details
|
|
From KLM-style conditionals to defeasible modalities, and back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.details
|
|
On the logical properties of the nonmonotonic description logic DL N.P. A. Bonatti & L. Sauro - 2017 - Artificial Intelligence 248 (C):85-111.details
|
|
A new semantics for overriding in description logics.P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro - 2015 - Artificial Intelligence 222 (C):1-48.details
|
|