Automated Theorem Proving with Spider Diagrams.

Jean Flower Gem Stapleton

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
web mining
hand drawn
artificial intelligence
logic programming
web crawling
graphical representation
first order logic
probabilistic model
text mining
general purpose