Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

Artificial Intelligence 236 (C):90-118 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

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

Through your library

Similar books and articles

Deciding the bisimilarity relation between datalog goals.Philippe Balbiani & Antoun Yaacoub - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 67--79.
A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.
‘Thing’ and ‘non-thing’ ontologies.Esfeld Michael - 2020 - In Ricki Bliss & James Miller (eds.), The Routledge Handbook of Metametaphysics. New York, NY: Routledge.
Dimension Versus Number of Variables, and Connectivity, too.Gregory L. McColm - 1995 - Mathematical Logic Quarterly 41 (1):111-134.
Arity hierarchies.Martin Grohe - 1996 - Annals of Pure and Applied Logic 82 (2):103-163.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,480,141)

6 months
5 (#703,368)

Historical graph of downloads
How can I increase my downloads?