Combining answer set programming with description logics for the Semantic Web

, , , &
Artificial Intelligence 172 (12-13):1495-1539 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2008.04.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Semantic forgetting in answer set programming.Thomas Eiter & Kewen Wang - 2008 - Artificial Intelligence 172 (14):1644-1672.
Belief base change operations for answer set programming.Patrick Krümpelmann & Gabriele Kern-Isberner - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 294--306.
A system for the use of answer set programming in reinforcement learning.Matthias Nickles - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 488--491.
Open answer set programming for the semantic web.Stijn Heymans, Davy Van Nieuwenborgh & Dirk Vermeir - 2007 - Journal of Applied Logic 5 (1):144-169.
Combining Horn rules and description logics in CARIN.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 104 (1-2):165-209.
Autoepistemic answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.
Backdoors to tractable answer set programming.Johannes Klaus Fichte & Stefan Szeider - 2015 - Artificial Intelligence 220 (C):64-103.
On the limits of forgetting in Answer Set Programming.Ricardo Gonçalves, Matthias Knorr, João Leite & Stefan Woltran - 2020 - Artificial Intelligence 286 (C):103307.
Evaluating epistemic negation in answer set programming.Yi-Dong Shen & Thomas Eiter - 2016 - Artificial Intelligence 237 (C):115-135.

Analytics

Added to PP
2020-12-22

Downloads
16 (#1,179,083)

6 months
2 (#1,685,363)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 16 citations / Add more citations

References found in this work

A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Reasoning on UML class diagrams.Daniela Berardi, Diego Calvanese & Giuseppe De Giacomo - 2005 - Artificial Intelligence 168 (1-2):70-118.
Complexity of the two-variable fragment with counting quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.

View all 6 references / Add more references