Problem-Oriented Applications of Automated Theorem Proving.

Wolfgang Bibel Daniel S. Korn Christoph Kreitz Stephen Schmitt

Published in: DISCO (1996)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
inference rules
machine learning
artificial intelligence
fuzzy logic
logic programs
constraint satisfaction problems
first order logic