PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning10 articles•105 pages•Published: May 16, 2012 Papers
Keyphrasesapplication in ontology reasoning, automated reasoning2, Benchmarking2, Boolean extensionality and modalities, component systems, connection calculus, decision procedures2, 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 |