Computing Abduction by Using the TMS.

Ken Satoh Noboru Iwayama

Published in: ICLP (1991)

Keyphrases

special case
logic programming
databases
real world
high level
image sequences
multi agent systems
relational databases
belief revision