Towards a Semantics of Unsatisfiability Proofs with Inprocessing.

Tobias Philipp Adrián Rebola-Pardo

Published in: LPAR (2017)

Keyphrases

formal semantics
theorem prover
semantic information
database
knowledge base
logic programming
conceptual model
theorem proving
semantic representation
formal proofs
databases
neural network
natural deduction