40 citations · 43 across the 6 of their papers we have counts for
7 papers
Partial Regularization of First-Order Resolution Proofs
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Resolution and superposition are common techniques which have seen widespread use with propositional and first-order logic in modern theorem provers. In these cases, resolution pro…
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Catherine Dubois, Bruno Woltzenlogel Paleo
This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS…
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restr…
An Expressive Probabilistic Temporal Logic
Bruno Woltzenlogel Paleo
This paper argues that a combined treatment of probabilities, time and actions is essential for an appropriate logical account of the notion of probability; and, based on this intu…
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers
Christoph Benzmüller, Bruno Woltzenlogel Paleo
The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof ass…
Formalization, Mechanization and Automation of Gödel's Proof of God's Existence
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Gödel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has b…
Can black hole MACHO binaries be detected by the Brazilian spherical antenna?
J. C. N. de Araujo, O. D. Miranda, C. S. Castro +2
Different studies show that dark matter of non-baryonic origin might exist. There have been experimental evidences that at least one form of dark matter has been detected through m…