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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{PAAR-2012:Practical_Aspects_SAT_Solving,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/R26c},
doi = {10.29007/hnks},
pages = {1},
year = {2013}}
@inproceedings{PAAR-2012:Building_Efficient_OWL_2,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TpRt},
doi = {10.29007/57lg},
pages = {2},
year = {2013}}
@inproceedings{PAAR-2012:Escape_Mizar_from_ATPs,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wBpw},
doi = {10.29007/s1ts},
pages = {3-11},
year = {2013}}
@inproceedings{PAAR-2012:Implementing_Different_Proof_Calculi,
author = {Christoph Benzmüller 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Z1s},
doi = {10.29007/mclw},
pages = {12-18},
year = {2013}}
@inproceedings{PAAR-2012:Experiments_feasibility_using_floating,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NqS},
doi = {10.29007/j7x4},
pages = {19-28},
year = {2013}}
@inproceedings{PAAR-2012:Authorization_Enforcement_Workflows_Maintaining,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Rpt},
doi = {10.29007/n6nv},
pages = {29-42},
year = {2013}}
@inproceedings{PAAR-2012:BDD_based_automated_reasoning,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zSw},
doi = {10.29007/swbj},
pages = {43-57},
year = {2013}}
@inproceedings{PAAR-2012:One_Pass_Tableau_Based,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZW},
doi = {10.29007/5sl4},
pages = {58-71},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qS1J},
doi = {10.29007/sqh9},
pages = {72-81},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Pc},
doi = {10.29007/nb2g},
pages = {82-94},
year = {2013}}
@inproceedings{PAAR-2012:Resolution_Calculus_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dWbr},
doi = {10.29007/zpg2},
pages = {95},
year = {2013}}
@inproceedings{PAAR-2012:Exploiting_parallelism_ME_calculus,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/WdR},
doi = {10.29007/v1f2},
pages = {96-108},
year = {2013}}
@inproceedings{PAAR-2012:Synthesising_Implementing_Tableau_Calculi,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/RPW},
doi = {10.29007/vn4w},
pages = {109-123},
year = {2013}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/T45},
doi = {10.29007/fblb},
pages = {124-138},
year = {2013}}
@inproceedings{PAAR-2012:qbf2epr_Tool_Generating_EPR,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nW},
doi = {10.29007/2b5d},
pages = {139-148},
year = {2013}}
@inproceedings{PAAR-2012:MetTeL<sup>2</sup>_Towards_Tableau_Prover,
author = {Dmitry Tishkovsky and Renate A. Schmidt and Mohammad Khodadadi},
title = {MetTeL<sup>2</sup>: 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XhJM},
doi = {10.29007/1c73},
pages = {149-162},
year = {2013}}
@inproceedings{PAAR-2012:Satisfiability_Checking_Query_Answering,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/P85},
doi = {10.29007/n1sv},
pages = {163-177},
year = {2013}}
