Negation as Exception.

Vladimir Kuznetsov

Published in: ECAI (1992)

Keyphrases

logic programs
logic programming
deductive databases
compositional semantics
databases
fixpoint
exception handling
data sets
computer vision
data model
background knowledge
horn clauses
datalog programs
containment of conjunctive queries