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