Guarded Negation.

Vince Bárány Balder ten Cate Luc Segoufin

Published in: ICALP (2) (2011)

Keyphrases

horn clauses
logic programs
logic programming
compositional semantics
predicate logic
deductive databases
containment of conjunctive queries
neural network
fixed point
case study
clustering algorithm
tree decompositions
probabilistic model
stable models
inclusion dependencies
derivation rules
real world