About Some Symmetries of Negation.

Brigitte Hösli Gerhard Jäger

Published in: J. Symb. Log. (1994)

Keyphrases

logic programs
logic programming
deductive databases
predicate logic
compositional semantics
symmetry breaking
containment of conjunctive queries
real time
neural network
real world
machine learning
knowledge base
video sequences
integrity constraints
horn clauses