The Tableau Prover Generator MetTeL2.

Dmitry Tishkovsky Renate A. Schmidt Mohammad Khodadadi

Published in: JELIA (2012)

Keyphrases

automated theorem proving
proof search
theorem prover
theorem proving
description logics
inference rules
answer set programming
linear logic
proof procedure
artificial intelligence
data mining
machine learning
computational complexity
special case
classical logic
pseudorandom