Login / Signup
Cones, Negation, and All That.
Özgür Lütfü Özçep
Mena Leemhuis
Diedrich Wolter
Published in:
KI (2020)
Keyphrases
</>
logic programs
logic programming
compositional semantics
database
image processing
high level
deductive databases
horn clauses
fixpoint
data sets
information systems
decision trees
query processing
containment of conjunctive queries