Logics of Relative Identity.

Published in: Notre Dame J. Formal Log. (2002)

Keyphrases

expressive power
modal logic
real time
inference rules
information retrieval
genetic algorithm
learning algorithm
image processing
three dimensional
high dimensional
relational databases
mobile robot
nonmonotonic logics
conditional logic