A Formalization of Generalization-Based Analogy in General Logic Programs.

Noboru Iwayama Ken Satoh Jun Arima

Published in: ECAI (1992)

Keyphrases

general logic programs
logic programs
causal theories
deductive databases
fixpoint semantics
autoepistemic logic
artificial intelligence
domain theory
nonmonotonic reasoning