Sign in
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.
Negin Arhami
Geoff Sutcliffe
Published in:
PAAR@IJCAR (2014)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
classical logic
inference rules
expressive power
machine translation
answer set programming
high level
software engineering