Volume
@proceedings{PAAR-2012,
title = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}Papers
@inproceedings{PAAR-2012:Practical_Aspects_of_SAT,
author = {Armin Biere},
title = {Practical Aspects of SAT Solving},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {1},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/R26c},
doi = {10.29007/hnks}}
@inproceedings{PAAR-2012:Building_an_Efficient_OWL,
author = {Boris Motik},
title = {Building an Efficient OWL 2 DL Reasoner},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {2},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TpRt},
doi = {10.29007/57lg}}
@inproceedings{PAAR-2012:Escape_to_Mizar_from,
author = {Jesse Alama},
title = {Escape to Mizar from ATPs},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {3--11},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wBpw},
doi = {10.29007/s1ts}}
@inproceedings{PAAR-2012:Implementing_Different_Proof_Calculi,
author = {Christoph Benzm\textbackslash{}"uller and Jens Otten and Thomas Raths},
title = {Implementing Different Proof Calculi for First-order Modal Logics},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {12--18},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Z1s},
doi = {10.29007/mclw}}
@inproceedings{PAAR-2012:Experiments_on_feasibility_of,
author = {Diego Caminha Barbosa de Oliveira and David Monniaux},
title = {Experiments on the feasibility of using a floating-point simplex in an SMT solver},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {19--28},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/NqS},
doi = {10.29007/j7x4}}
@inproceedings{PAAR-2012:Authorization_Enforcement_in_Workflows,
author = {Jason Crampton and Michael Huth and Jim Huan-Pu Kuo},
title = {Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {29--42},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Rpt},
doi = {10.29007/n6nv}}
@inproceedings{PAAR-2012:BDD_based_automated_reasoning_in,
author = {Rajeev Gore and Jimmy Thomson},
title = {BDD-based automated reasoning in propositional non-classical logics: progress report},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {43--57},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zSw},
doi = {10.29007/swbj}}
@inproceedings{PAAR-2012:One_Pass_Tableau_Based_Workflow_Verification,
author = {Md Zahidul Islam and Wendy Maccaull},
title = {A One-Pass Tableau-Based Workflow Verification Framework},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {58--71},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ZW},
doi = {10.29007/5sl4}}
@inproceedings{PAAR-2012:Initial_Experiments_with_External,
author = {Cezary Kaliszyk and Josef Urban},
title = {Initial Experiments with External Provers and Premise Selection on HOL Light Corpora},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {72--81},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qS1J},
doi = {10.29007/sqh9}}
@inproceedings{PAAR-2012:Learning_from_Multiple_Proofs,
author = {Daniel Kuehlwein and Josef Urban},
title = {Learning from Multiple Proofs: First Experiments},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {82--94},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Pc},
doi = {10.29007/nb2g}}
@inproceedings{PAAR-2012:Resolution_Calculus_for_Second_order,
author = {Alexander Leitsch and Tomer Libal},
title = {A Resolution Calculus for Second-order Logic with Eager Unification},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {95},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dWbr},
doi = {10.29007/zpg2}}
@inproceedings{PAAR-2012:Exploiting_parallelism_in_ME,
author = {Tianyi Liang and Cesare Tinelli},
title = {Exploiting parallelism in the ME calculus},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {96--108},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/WdR},
doi = {10.29007/v1f2}}
@inproceedings{PAAR-2012:Synthesising_and_Implementing_Tableau,
author = {Stefan Minica and Mohammad Khodadadi and Renate A. Schmidt and Dmitry Tishkovsky},
title = {Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {109--123},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/RPW},
doi = {10.29007/vn4w}}
@inproceedings{PAAR-2012:CDCL_with_Less_Destructive,
author = {Anthony Monnet and Roger Villemaire},
title = {CDCL with Less Destructive Backtracking through Partial Ordering},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {124--138},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/T45},
doi = {10.29007/fblb}}
@inproceedings{PAAR-2012:qbf2epr_Tool_for_Generating,
author = {Martina Seidl and Florian Lonsing and Armin Biere},
title = {qbf2epr: A Tool for Generating EPR Formulas from QBF},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {139--148},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nW},
doi = {10.29007/2b5d}}
@inproceedings{PAAR-2012:MetTeLsup2_sup_Towards_Tableau_Prover,
author = {Dmitry Tishkovsky and Renate A. Schmidt and Mohammad Khodadadi},
title = {MetTeL \textbackslash{}ensuremath\{ \ensuremath{< } \} sup \textbackslash{}ensuremath\{ \ensuremath{> } \} 2 \textbackslash{}ensuremath\{ \ensuremath{< } \} /sup \textbackslash{}ensuremath\{ \ensuremath{> } \} : Towards a Tableau Prover Generation Platform},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {149--162},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XhJM},
doi = {10.29007/1c73}}
@inproceedings{PAAR-2012:Satisfiability_Checking_and_Query,
author = {Christoph Weidenbach and Patrick Wischnewski},
title = {Satisfiability Checking and Query Answering for Large Ontologies},
booktitle = {PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
series = {EPiC Series in Computing},
volume = {21},
pages = {163--177},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/P85},
doi = {10.29007/n1sv}}
