Volume
@proceedings{LPAR-20,
title = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{LPAR-20:Automated_Theorem_Proving_by,
author = {Negin Arhami and Geoff Sutcliffe},
title = {Automated Theorem Proving by Translation to Description Logic},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {1--14},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XVw},
doi = {10.29007/xgq9}}
@inproceedings{LPAR-20:Playing_with_Quantified_Satisfaction,
author = {Nikolaj Bjorner and Mikolas Janota},
title = {Playing with Quantified Satisfaction},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {15--27},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/jmM},
doi = {10.29007/vv21}}
@inproceedings{LPAR-20:On_Conflicts_and_Strategies,
author = {Nikolaj Bjorner and Mikolas Janota and William Klieber},
title = {On Conflicts and Strategies in QBF},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {28--41},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Cd},
doi = {10.29007/4sk1}}
@inproceedings{LPAR-20:Automated_Deduction_in_B,
author = {Guillaume Bury and David Delahaye and Damien Doligez and Pierre Halmagrand and Olivier Hermant},
title = {Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {42--58},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qzr},
doi = {10.29007/14v7}}
@inproceedings{LPAR-20:Symbolic_WS1S,
author = {Loris D'Antoni and Margus Veanes},
title = {Symbolic WS1S},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {59--66},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hHv},
doi = {10.29007/t28j}}
@inproceedings{LPAR-20:Reasoning_in_presence_of,
author = {Graham Deane and Krysia Broda and Alessandra Russo},
title = {Reasoning in the presence of inconsistency through Preferential ALC},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {67--80},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Vj},
doi = {10.29007/8qr4}}
@inproceedings{LPAR-20:Lightweight_Double_negation_Translation,
author = {Frederic Gilbert},
title = {A Lightweight Double-negation Translation},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {81--93},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ClHb},
doi = {10.29007/vbs5}}
@inproceedings{LPAR-20:Application_of_Trace_Based_Subjective,
author = {Hoang Nam Ho and Mourad Rabah and Samuel Nowakowski and Pascal Estraillier},
title = {Application of Trace-Based Subjective Logic to User Preferences Modeling},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {94--105},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/R},
doi = {10.29007/zl3d}}
@inproceedings{LPAR-20:Compiling_Hilberts_epsilon_operator,
author = {Rustan Leino},
title = {Compiling Hilbert's epsilon operator},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {106--118},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dM},
doi = {10.29007/rkxm}}
@inproceedings{LPAR-20:New_Proof_of_P_time,
author = {Satoshi Matsuoka},
title = {A New Proof of P-time Completeness of Linear Lambda Calculus},
booktitle = {LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {35},
pages = {119--130},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MWM},
doi = {10.29007/svwc}}