Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-5

The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach

Eugénie Foustoucos, Labrini Kalantzi

Fundamenta Informaticae

Retricted access

Research article

First published 2005-5

Semi-Inflationary DATALOG: A declarative database language with procedural features

Antonella Guzzo, Domenico Saccà

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2019-12-23

SparkHINlog: Extension of SparkDatalog for heterogeneous information network

Do Phuc

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018

Reasoning on Datalog ± Ontologies with Abductive Logic Programming

Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2002-2

PathLog: a Query Language for Schemaless Databases of Partially Labeled Objects

Tadeusz Pankowski

Fundamenta Informaticae

Free access

Research article

First published 2013-11

Complexity of redundancy detection on RDF graphs in the presence of rules,constraints,and queries

Reinhard Pichler, Axel Polleres, Sebastian Skritek [...]

Semantic Web: – Interoperability,Usability,Applicability

Free access

Research article

First published 2015-8

Sound,complete and minimal UCQ-rewriting for existential rules

Mélanie König, Michel Leclère, Marie-Laure Mugnier [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2022-9-5

An argumentative approach for handling inconsistency in prioritized Datalog ± ontologies

Loan Ho, Somjit Arch-int, Erman Acar [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2018

The Impact of Active Domain Predicates on Guarded Existential Rules

Georg Gottlob, Andreas Pieris, Mantas Šimkus

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Dynamic Magic Sets and super-coherent answer set programs

Mario Alviano, Wolfgang Faber

The European Journal on Artificial Intelligence

Search results