PAAR 2014 PROCEEDINGS

Editors: Stephan Schulz, Leonardo De Moura and Boris Konev

Authors	Title	Paper	Talk
Uwe Waldmann	Hierarchic Superposition Revisited		Jul 23 09:15
Negin Arhami and Geoff Sutcliffe	The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics		Jul 23 11:15
Joshua Bax	A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories		Jul 23 14:30
Maria Paola Bonacina and David Plaisted	SGGS Theorem Proving: an Exposition		Jul 23 17:30
Simon Cruanes	Logtk : A Logic ToolKit for Automated Reasoning and its Implementation		Jul 23 15:00
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller and Michael Norrish	Beagle as a HOL4 external ATP method		Jul 23 16:30
Cezary Kaliszyk, Josef Urban and Jiri Vyskocil	Machine Learner for Automated Reasoning 0.4 and 0.5		Jul 23 11:45
Muhammad Nassar and Geoff Sutcliffe	Automated Theorem Proving using the TPTP Process Instruction Language		Jul 23 10:45
Salman Saghafi and Daniel Dougherty	Razor: Provenance and Exploration in Model-Finding		Jul 23 17:00
Sophie Tourret, Mnacho Echenim and Nicolas Peltier	A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses		Jul 23 08:45
Josef Urban	BliStr: The Blind Strategymaker		Jul 23 12:15
Daniel Wand	Polymorphic+Typeclass Superposition		Jul 23 15:30