Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.

Luca Console Attilio Giordana Lorenza Saitta

Published in: ISMIS (1991)

Keyphrases

high resolution
database
logic programming
low resolution
abductive reasoning
real time
neural network
query language
belief revision
causal relationships
natural deduction