Checking Proof Transformations with ASP.

Vivek Nigam Giselle Reis Leonardo Lima

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

answer set programming
web applications
automated theorem proving
theorem proving
linear logic
information retrieval
theorem prover
consistency checking
search algorithm
input image
data management
complete axiomatization
mathematical proofs
interactive theorem proving