ADAPtER: An Integrated Diagnostic System Combining Case-Based and Abductive Reasoning.

Luigi Portinale Pietro Torasso

Published in: ICCBR (1995)

Keyphrases

abductive reasoning
causal inference
inference rules
reasoning tasks
logic programs
nonmonotonic reasoning
natural language understanding
case based reasoning
logical representation
probabilistic logic
plan recognition
artificial intelligence
general purpose
logic programming
theorem proving
prime implicates