A Portable Environment for Research in Automated Reasoning.

Ewing L. Lusk Ross A. Overbeek

Published in: CADE (1984)

Keyphrases

automated reasoning
theorem proving
reasoning systems
knowledge representation
theorem prover
decision procedures
reasoning tasks
knowledge representation and reasoning
automated verification
mobile robot
general purpose
probabilistic reasoning
neural network
machine learning
computational complexity