A preliminary excursion into step-logics.

Jennifer J. Elgot-Drapkin Donald Perlis

Published in: ISMIS (1986)

Keyphrases

expressive power
post processing
multiresolution
mobile robot
modal logic
data mining
knowledge base
learning environment
video sequences
preprocessing step
classical logic