Autoepistemic description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 136-141

  Donini, Francesco M ^a   Nardi, Daniele ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROCEDURE; DESCRIPTION LOGIC; FRAME-BASED SYSTEMS; INTEGRITY CONSTRAINTS; MODAL OPERATORS; NONMONOTONIC; NONMONOTONIC LOGIC; QUERY ANSWERING;

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84880670268     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. JAR, 14:149-180, 1995.
2. R. J. Brachman, D. McGuinness, R F. Patel-Schneider, L. A. Resnick. Living with CLASSIC. In Principles of Semantic Networks, J. Sowa ed., Morgan Kaufmann, 1990.
3. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. Adding epistemic operators to concept languages. In Proc. of KR-92, 342-353, Morgan Kaufmann, 1992.
4. F. M. Donini, F. Massacci, D. Nardi, and R. Rosati. A uniform tableau method for nonmonotonic modal logics. In Proc. ofJEUA'96, LNAI 1126, 87-103, Springer-Verlag, 1996.
5. F. M. Donini, D. Nardi, and R. Rosati. Non-first-order features in concept languages. In AMA-95, LNAI 992,91-102. Springer-Verlag, 1995.
6. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, 1983.
7. M. Kaminski. A comparative study of open default theories. AIJ, 77:285-319,1995.
8. G. Lakemeyer. Limited reasoning in first-order knowledge bases with full introspection. AIJ 84:209-255, 1996. (Pubitemid 126365326)
9. V. Lifschitz. Minimal belief and negation as failure. AIJ, 70:53-72, 1994.
10. F. Lin and Y. Shoham. Epistemic semantics for fixed-point non-monotonic logics. AIJ, 57:271-289, 1992.
11. R. MacGregor. A deductive pattern matcher. In Proc. of AAAI-88, 403-408, 1988.
12. L. Padgham and T. Zhang. A terminological logic with defaults: a definition and an application. In Proc. of IJCAI'93,662-668,1993.
13. J. Quantz and V. Royer. A preference semantics for defaults in terminological logics. In Proc. of KR-92, 294-305, Morgan Kaufmann, 1992.
14. R. Reiter. What should a database know? Journal of Logic Programming, 14:127-153, 1990.
15. R. Rosati. Reasoning with minimal belief and negation as failure: algorithms and complexity. To appear in Proc. ofAAAI-97.
16. W.A. Woods and J.G. Schmolze. The KL-ONE Family. Computers & Mathematics with Applications, Volume 23, 2-9,1992,133-178.