PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning11 articles•119 pages•Published: July 5, 2015 Papers
KeyphrasesATP Competitions, automated reasoning, automated theorem proving3, automated theorem proving process, Beagle, constraints, de Bruijn, Description Logics, discrimination tree, EPR, equational logic, first-order logic, formal mathematics, geometric logic, HOL4, instance-based theorem proving, large theories, machine learning, model finding2, model-based theorem proving, polymorphism, prime implicates, Provenance, Quantifier Instantiation, semantic guidance, substitution, superposition, superposition calculus, term representation, theorem proving, TPTP, TPTP Process Instruction language, unification |