PAAR-2010 Accepted Papers

Progress in Automating Higher-Order Ontology Reasoning
GridTPT: a distributed platform for Theorem Prover Testing
Automated Higher-order Reasoning in Quantales
Fast Decision Procedure for Propositional Dummett Logic Based on     a Multiple Premise Tableau Calculus
Automated Reasoning in the Simulation of Evolvable Systems
Automation for Geometry in Interactive Theorem Provers
Trie Based Subsumption and Improving the pi-Trie Algorithm
A Comparison of Solvers for Propositional Dynamic Logic
Using the TPTP Language for Representing Derivations in Tableau and
Connection Calculi