EXPtime tableaux for ALC

&
Artificial Intelligence 124 (1):87-138 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(00)00070-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
A note on free will and artificial intelligence.Mark Fisher - 1983 - Philosophia 13 (1-2):75-80.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Antonio Lieto & Gian Luca Pozzato (eds.), Proceedings of ISMIS 18. Springer.
TZITZIS, STAMATIOS, La vittima e il carnefice. Lezioni romane di Filosofía del Diritto, ed. de Francesco D’Agostino y Fabio Macioce. Traducción del francés al italiano a cargo de Fabio Macioce, Giuffrè Editore, Milano, 2004, 168 págs. [REVIEW]Guillermo Hierrezuelo - 2006 - Anuario Filosófico:236-238.
M. Bonazzi-P.L. Donini-F. Ferrari (a cura di), Sistema, tradizioni, esegesi. Il Medioplatonismo.Francesco Fronterotta - 2016 - Elenchos 37 (1-2):274-278.
M. Shanahan, Solving the Frame Problem.Murray Shanahan - 2000 - Artificial Intelligence 123 (1-2):275.
Tableau-resolution based description abduction logics: An A-Box Abduction Problem Solver in Artificial Intelligence.Seyed Ahmad Mirsanei - 2023 - In The 9th International TMU Student Philosophy Conference. Tehran: Tarbiat Modares University - Department of Philosophy. pp. 133-137.
Philosophy and AI in M. Ringle.M. Ringle - 1979 - In Martin Ringle (ed.), Philosophical Perspectives in Artificial Intelligence. Humanities Press.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,484,933)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tractable approximate deduction for OWL.Jeff Z. Pan, Yuan Ren & Yuting Zhao - 2016 - Artificial Intelligence 235 (C):95-155.

View all 6 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.

View all 15 references / Add more references