Consequence-based and fixed-parameter tractable reasoning in description logics

, &
Artificial Intelligence 209 (C):29-77 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.01.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Towards fixed-parameter tractable algorithms for abstract argumentation.Wolfgang Dvořák, Reinhard Pichler & Stefan Woltran - 2012 - Artificial Intelligence 186 (C):1-37.
Pay-as-you-go consequence-based reasoning for the description logic SROIQ.David Tena Cucala, Bernardo Cuenca Grau & Ian Horrocks - 2021 - Artificial Intelligence 298 (C):103518.
Fixed-parameter complexity in AI and nonmonotonic reasoning.Georg Gottlob, Francesco Scarcello & Martha Sideri - 2002 - Artificial Intelligence 138 (1-2):55-86.
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
Local closed world reasoning with description logics under the well-founded semantics.Matthias Knorr, José Júlio Alferes & Pascal Hitzler - 2011 - Artificial Intelligence 175 (9-10):1528-1554.
Tractable reasoning via approximation.Marco Schaerf & Marco Cadoli - 1995 - Artificial Intelligence 74 (2):249-310.
From ordering-based nonmonotonic reasoning to conditional logics.Luis Fariñas del Cerro, Andreas Herzig & Jérôme Lang - 1994 - Artificial Intelligence 66 (2):375-393.
Two semantic interpretations of probabilities in description logics of typicality.Antonio Lieto & Gian Luca Pozzato - forthcoming - Logic Journal of the IGPL.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Default reasoning from conditional knowledge bases: Complexity and tractable cases.Thomas Eiter & Thomas Lukasiewicz - 2000 - Artificial Intelligence 124 (2):169-241.

Analytics

Added to PP
2020-12-22

Downloads
14 (#1,281,832)

6 months
8 (#597,840)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.

Add more references