Unary negation.

Balder ten Cate Luc Segoufin

Published in: STACS (2011)

Keyphrases

pairwise
logic programming
logic programs
deductive databases
neural network
containment of conjunctive queries
predicate logic
fixpoint
horn clauses
search algorithm
compositional semantics
data sets
knowledge representation
data structure
knowledge base
information systems
search engine