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

17 articles177 pagesPublished: August 19, 2013

Papers

Page 1
Page 2
Pages 3-11
Pages 12-18
Pages 19-28
Pages 29-42
Pages 43-57
Pages 58-71
Pages 72-81
Pages 82-94
Page 95
Pages 96-108
Pages 109-123
Pages 124-138
Pages 139-148
Pages 149-162
Pages 163-177

Keyphrases

Authorization Enforcement Functions, automated reasoning8, automated reasoning in non-classical logics, automated theorem proving3, Binary Decision Diagrams2, Bounded unification, CDCL2, 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 proving2, Interrogative Epistemic Logic, logic, LTL model checking, machine learning, Mettel2, Mizar2, 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 selection2, Progress Report, proof transformation, propositional reasoning2, QBF, Quantified Boolean Formulas, query answering, regular expressions, resolution, SAT, SAT solving, satisfiability2, 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