Improvements to the Tableau Prover PITP.

Alessandro Avellone Guido Fiorino Ugo Moscato

Published in: TABLEAUX (2007)

Keyphrases

logic programming
automated theorem proving
answer set programming
classical logic
proof search
theorem proving
description logics
theorem prover
programming language
inference rules
high level
feature selection
scheduling problem
domain knowledge
cost function
search space
decision making