Negation as Stable Hypotheses.

Antonis C. Kakas Paolo Mancarella

Published in: LPNMR (1991)

Keyphrases

logic programs
logic programming
database
e learning
image processing
case study
high level
expert systems
multiresolution
deductive databases
predicate logic
multiple hypotheses
hypothesis verification