PAAR-2012: Volume Information

PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning

Papers

Keyphrases

Authorization Enforcement Functions, automated reasoning⁸, automated reasoning in non-classical logics, automated theorem proving³, Binary Decision Diagrams², Bounded unification, CDCL², CTL, Decidable unification problems, Dynamic Epistemic Logic of Questions, Effectively Propositional Logic, Efficient second-order theorem proving, encoding, EPR, evaluation, first-order reasoning, floating-point, formal verification, HERMIT, Higher-order resolution, HOL Light, implementation of provers, Instantiation-based calculi, interactive theorem proving², Interrogative Epistemic Logic, logic, LTL model checking, machine learning, Mettel2, Mizar², modal logic, model checking, Model Evolution, mu-calculus, multiple proofs, natural deduction, non-classical logics, one-pass tableau, Ontology, Ontology Reasoning, OWL, parallel theorem proving, partial order, premise selection², Progress Report, proof transformation, propositional reasoning², QBF, Quantified Boolean Formulas, query answering, regular expressions, resolution, SAT, SAT solving, satisfiability², satisfiability checking, Satisfiability Modulo Theories, simplex, SMT solving, superposition, system description, Tableau, tableau calculus, tableau decision procedure, tableau prover generator, tableau synthesis framework, workflow, Workflow Systems.