PAAR-2012:Author Index

AuthorPapers
A
Alama, JesseEscape to Mizar from ATPs
B
Benzmüller, ChristophImplementing Different Proof Calculi for First-order Modal Logics
Biere, ArminPractical Aspects of SAT Solving
qbf2epr: A Tool for Generating EPR Formulas from QBF
C
Caminha B de Oliveira, DiegoExperiments on the feasibility of using a floating-point simplex in an SMT solver
Crampton, JasonAuthorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning
G
Gore, RajeevBDD-based automated reasoning in propositional non-classical logics: progress report
H
Huth, MichaelAuthorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning
I
Islam, Md ZahidulA One-Pass Tableau-Based Workflow Verification Framework
K
Kaliszyk, CezaryInitial Experiments with External Provers and Premise Selection on HOL Light Corpora
Khodadadi, MohammadSynthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform
Kuehlwein, DanielLearning from Multiple Proofs: First Experiments
Kuo, Jim Huan-PuAuthorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning
L
Leitsch, AlexanderA Resolution Calculus for Second-order Logic with Eager Unification
Liang, TianyiExploiting parallelism in the ME calculus
Libal, TomerA Resolution Calculus for Second-order Logic with Eager Unification
Lonsing, Florianqbf2epr: A Tool for Generating EPR Formulas from QBF
M
MacCaull, WendyA One-Pass Tableau-Based Workflow Verification Framework
Minica, StefanSynthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
Monnet, AnthonyCDCL with Less Destructive Backtracking through Partial Ordering
Monniaux, DavidExperiments on the feasibility of using a floating-point simplex in an SMT solver
Motik, BorisBuilding an Efficient OWL 2 DL Reasoner
O
Otten, JensImplementing Different Proof Calculi for First-order Modal Logics
R
Raths, ThomasImplementing Different Proof Calculi for First-order Modal Logics
S
Schmidt, Renate A.Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform
Seidl, Martinaqbf2epr: A Tool for Generating EPR Formulas from QBF
T
Thomson, JimmyBDD-based automated reasoning in propositional non-classical logics: progress report
Tinelli, CesareExploiting parallelism in the ME calculus
Tishkovsky, DmitrySynthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform
U
Urban, JosefInitial Experiments with External Provers and Premise Selection on HOL Light Corpora
Learning from Multiple Proofs: First Experiments
V
Villemaire, RogerCDCL with Less Destructive Backtracking through Partial Ordering
W
Weidenbach, ChristophSatisfiability Checking and Query Answering for Large Ontologies
Wischnewski, PatrickSatisfiability Checking and Query Answering for Large Ontologies