Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

PAAR-2010: Volume Information

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

Editors: Renate A. Schmidt, Stephan Schulz and Boris Konev

EPiC Series in Computing•Volume 9

10 articles•105 pages•Published: May 16, 2012

Papers

Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers

Lawrence Paulson

1-10

Automated Reasoning in the Simulation of Evolvable Systems

Djihed Afifi, David Rydeheard and Howard Barringer

11-21

Progress in Automating Higher-Order Ontology Reasoning

Christoph Benzmüller and Adam Pease

22-32

GridTPT: a distributed platform for Theorem Prover Testing

Thomas Bouton, Diego Caminha, David Déharbe and Pascal Fontaine

33-39

Automated Higher-order Reasoning about Quantales

Han-Hing Dang and Peter Höfner

40-51

Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus

52-62

A Comparison of Solvers for Propositional Dynamic Logic

Ullrich Hustadt and Renate A. Schmidt

63-73

Trie Based Subsumption and Improving the pi-Trie Algorithm

Andrew Matusiewicz, Neil Murray and Erik Rosenthal

74-83

Automation for Geometry in Isabelle/HOL

Laura Meikle and Jacques Fleuriot

84-94

Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi

Jens Otten and Geoff Sutcliffe

95-105

Keyphrases

application in ontology reasoning, automated reasoning², Benchmarking², Boolean extensionality and modalities, component systems, connection calculus, decision procedures², Development support, Dummett Logic, Evolvable systems, geometry, Grid Computing, higher-order reasoning, higher-order theorem proving, Isabelle, Performance aspects, prime implicates, propositional dynamic logic, QEPCAD, quantale, simplification, subsumption, tableau calculus, tableaux, test, TPTP language, Tries, typed higher-order form of TPTP.