Metalevel Negation and Non-Monotonic Reasoning.

Stefania Costantini Gaetano Aurelio Lanzarone

Published in: Methods Log. Comput. Sci. (1994)

Keyphrases

logic programming
logic programs
possibilistic logic
predicate logic
deductive databases
object level
horn clauses
defeasible logic
commonsense reasoning
compositional semantics
databases
neural network
computer vision
decision making
autoepistemic logic