Reasoning in Logic about Continuous Systems.

Benjamin Kuipers Benjamin Shults

Published in: KR (1994)

Keyphrases

reasoning systems
automated reasoning
neural network
knowledge base
intelligent systems
learning systems
logical inference
information systems
retrieval systems
expressive power
multi valued
logical framework
abductive reasoning
asynchronous circuits
proof procedure
intuitionistic logic