A Model Theoretic Oriented Approach to Analogy.

Published in: AII (1986)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
proof theoretic
decision procedures
logic programs
fixpoint
default reasoning
probabilistic reasoning
knowledge base
multi agent
special case
general purpose
nonmonotonic reasoning
formal semantics