PAAR-2012: BibTeX Entries

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}}