EPiC SeriesLatest PublicationsSearchKeywords

EPiC Volume 9

Renate A. Schmidt, Stephan Schulz and Boris Konev (editors)

PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

Volume Information

Papers

authors	title
Lawrence Paulson	Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers
Djihed Afifi, David Rydeheard and Howard Barringer	Automated Reasoning in the Simulation of Evolvable Systems
Christoph Benzmüller and Adam Pease	Progress in Automating Higher-Order Ontology Reasoning
Thomas Bouton, Diego Caminha, David Déharbe and Pascal Fontaine	GridTPT: a distributed platform for Theorem Prover Testing
Han-Hing Dang and Peter Höfner	Automated Higher-order Reasoning about Quantales
Guido Fiorino	Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
Ullrich Hustadt and Renate A. Schmidt	A Comparison of Solvers for Propositional Dynamic Logic
Andrew Matusiewicz, Neil Murray and Erik Rosenthal	Trie Based Subsumption and Improving the pi-Trie Algorithm
Laura Meikle and Jacques Fleuriot	Automation for Geometry in Isabelle/HOL
Jens Otten and Geoff Sutcliffe	Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi