Conditional Narrowing with Constructive Negation.

María José Ramírez Moreno Falaschi

Published in: ELP (1992)

Keyphrases

logic programs
logic programming
random field model
predicate logic
deductive databases
compositional semantics
nonmonotonic inference
conditional logic
database
conditional probabilities
datalog programs
fixpoint
social networks
learning algorithm
genetic algorithm
information retrieval
machine learning