Login / Signup
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.
Thomas Feller
Tim S. Lyon
Piotr Ostropolski-Nalewaja
Sebastian Rudolph
Published in:
ICDT (2023)
Keyphrases
</>
highly expressive
first order logic
action theories
description logics
predicate logic
artificial intelligence
knowledge representation
incomplete information
function symbols
existentially quantified
information retrieval
defeasible logic