Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.

Eugen Kuksa Till Mossakowski

Published in: PAAR@IJCAR (2016)

Keyphrases

automated theorem proving
theorem prover
theorem proving
inference rules
answer set programming
classical logic
first order logic
modal logic
selection criteria
search space
selection algorithm
databases
case study
high level
expert systems
logic programs