An Abductive Procedure for the CMS/ATMS.

Published in: Truth Maintenance Systems (ECAI Workshop) (1990)

Keyphrases

logic programming
proof procedure
search space
decision making
e learning
image processing
three dimensional
similarity measure
data structure
expert systems
evolutionary algorithm
theorem proving
nonmonotonic reasoning
logic programming language