PAAR2012: Volume InformationPAAR2012. Third Workshop on Practical Aspects of Automated Reasoning17 articles•177 pages•Published: August 19, 2013 PapersKeyphrasesAuthorization Enforcement Functions, automated reasoning^{8}, automated reasoning in nonclassical logics, automated theorem proving^{3}, Binary Decision Diagrams^{2}, Bounded unification, CDCL^{2}, CTL, Decidable unification problems, Dynamic Epistemic Logic of Questions, Effectively Propositional Logic, Efficient secondorder theorem proving, encoding, EPR, evaluation, firstorder reasoning, floatingpoint, formal verification, HERMIT, Higherorder resolution, HOL Light, implementation of provers, Instantiationbased calculi, interactive theorem proving^{2}, Interrogative Epistemic Logic, logic, LTL model checking, machine learning, Mettel2, Mizar^{2}, modal logic, model checking, Model Evolution, mucalculus, multiple proofs, natural deduction, nonclassical logics, onepass tableau, Ontology, Ontology Reasoning, OWL, parallel theorem proving, partial order, premise selection^{2}, Progress Report, proof transformation, propositional reasoning^{2}, QBF, Quantified Boolean Formulas, query answering, regular expressions, resolution, SAT, SAT solving, satisfiability^{2}, 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. 
