- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Pay-as-you-go consequence-based reasoning for the description logic SROIQ
Artificial Intelligence 298 (C):103518 (2021)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.
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.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Zenon Bankowski, Ian White, and Ulrike Hahn, Informatics and the Foundations of Legal Reasoning.Trevor J. M. Bench-Capon - 1999 - Artificial Intelligence and Law 7 (4):363-365.
LARS: A Logic-based framework for Analytic Reasoning over Streams.Harald Beck, Minh Dao-Tran & Thomas Eiter - 2018 - Artificial Intelligence 261 (C):16-70.
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.Carsten Lutz & Leif Sabellek - 2022 - Artificial Intelligence 308 (C):103709.
An approach to default reasoning based on a first-order conditional logic: Revised report.James P. Delgrande - 1988 - Artificial Intelligence 36 (1):63-90.
Argument Based Reasoning; some remarks on the relation between argumentation theory and artificial intelligence.Richard J. Cm Starmans - 1996 - In Johan van Benthem, Logic and argumentation. New York: North-Holland. pp. 209--227.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
Analytics
Added to PP
2021-04-28
Downloads
38 (#1,418,754)
6 months
4 (#1,747,044)
2021-04-28
Downloads
38 (#1,418,754)
6 months
4 (#1,747,044)
Historical graph of downloads
References found in this work
The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration.Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzel & Suzanna Lewis - 2007 - Nature Biotechnology 25 (11):1251-1255.
Decidability of SHIQ with complex role inclusion axioms.Ian Horrocks & Ulrike Sattler - 2004 - Artificial Intelligence 160 (1-2):79-104.
Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation