Negation as Inconsistency I.

Dov M. Gabbay Marek J. Sergot

Published in: J. Log. Program. (1986)

Keyphrases

logic programming
logic programs
deductive databases
classical logic
integrity checking
compositional semantics
fixpoint
social networks
real world
computer vision
image processing
horn clauses
inconsistent information