Unary negation.

Luc Segoufin Balder ten Cate

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

pairwise
logic programs
logic programming
predicate logic
compositional semantics
derivation rules
deductive databases
containment of conjunctive queries
learning algorithm
natural language
fixpoint
multi agent
special case
horn clauses
datalog programs