Logic, Topology, and Integration.

Published in: J. Autom. Reason. (1995)

Keyphrases

modal logic
nonmonotonic logics
search engine
databases
neural network
machine learning
information systems
e learning
decision trees
image sequences
logic programming
information integration
automated reasoning
classical logic
digital circuits
abductive reasoning