Switch to: Citations

References in:

A new semantics for overriding in description logics

P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro

Artificial Intelligence 222 (C):1-48 (2015)

Add references

You must login to add references.

Defeasible inheritance with doubt index and its axiomatic characterization.Erik Sandewall - 2010 - Artificial Intelligence 174 (18):1431-1459.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 3 citations
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.details Nonmonotonic Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 183 citations
Expressive probabilistic description logics.Thomas Lukasiewicz - 2008 - Artificial Intelligence 172 (6-7):852-883.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 7 citations
What does a conditional knowledge base entail?Daniel Lehmann & Menachem Magidor - 1992 - Artificial Intelligence 55 (1):1-60.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 156 citations
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 364 citations
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 Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 21 citations
Conditional entailment: Bridging two approaches to default reasoning.Hector Geffner & Judea Pearl - 1992 - Artificial Intelligence 53 (2-3):209-244.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 46 citations
Combining answer set programming with description logics for the Semantic Web.Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer & Hans Tompits - 2008 - Artificial Intelligence 172 (12-13):1495-1539.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 15 citations
Default reasoning from conditional knowledge bases: Complexity and tractable cases.Thomas Eiter & Thomas Lukasiewicz - 2000 - Artificial Intelligence 124 (2):169-241.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 8 citations

1