From description-logic programs to multi-context systems
TL;DR: It is proved that every dl-program can be transformed into a multi-context system in such a way that the different semantics for each paradigm are naturally related.
read more
About: This article is published in The Journal of Logic and Algebraic Programming. The article was published on 01 Apr 2017. and is currently open access. The article focuses on the topics: Well-founded semantics & Operational semantics.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
References
A logic for default reasoning
TL;DR: This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.
4.4K
•Book
Handbook of Knowledge Representation
Frank van Harmelen,Vladimir Lifschitz,Bruce Porter +2 more
- 08 Jan 2008
TL;DR: The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation written by the leaders of each field, an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.
1K
Complexity and expressive power of logic programming
TL;DR: This article surveys various complexity and expressiveness results on different forms of logic programming, in particular, propositional logic programming and datalog, but it also mentions general logic programming with function symbols.
{\cal A}{\cal L} -log: Integrating Datalog and Description Logics
Francesco M. Donini,Maurizio Lenzerini,Daniele Nardi,Andrea Schaerf +3 more
- 01 Jun 1998
TL;DR: A method for query answering in AL-log based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge.
347
•Proceedings Article
Embedding Defaults into Terminological Knowledge Representation Formalisms.
Franz Baader,Bernhard Hollunder +1 more
- 01 Jan 1992
TL;DR: In this paper, the problem of integrating Reiter's default logic into terminological representation systems is considered, and it turns out that such an integration is less straightforward than we expected, considering the fact that the terminological language is a decidable sublanguage of first-order logic.
315
Related Papers (5)
Maurizio Gabbrielli,Giorgio Levi,Maurizio Martelli +2 more
- 01 Jun 1992
Joost Vennekens,Marc Denecker +1 more
- 13 Dec 2008
Dale Miller
- 17 Aug 2006