: Syntactic Trees Transformations for Automated Theorem Proving.

Gabriel Aguilera Inman P. de Guzmán Manuel Ojeda-Aciego

Published in: JELIA (1994)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
decision trees
tree kernels
natural language
classical logic
semantic representation
first order logic
tree structures
high level
tree structure
leaf nodes