Clue as a Testbed for Automated Theorem Proving.

Published in: Canadian Conference on AI (2002)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
inference rules
data model
fuzzy logic
training set
search space
semantic concepts