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