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:
CoRR (2022)
Keyphrases
</>
highly expressive
first order logic
description logics
predicate logic
action theories
existentially quantified
defeasible logic
machine learning
artificial intelligence
expert systems
knowledge representation
case based reasoning
logic programs