research
∙
04/18/2018
Partial Regularization of First-Order Resolution Proofs
Resolution and superposition are common techniques which have seen wides...
share
research
∙
12/04/2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
This volume of EPTCS contains the proceedings of the Fifth Workshop on P...
research
∙
04/11/2017
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
This paper introduces Scavenger, the first theorem prover for pure first...
research
∙
03/24/2016
An Expressive Probabilistic Temporal Logic
This paper argues that a combined treatment of probabilities, time and a...
research
∙
08/21/2013