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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2015}}
Papers
@inproceedings{LPAR-20:Automated_Theorem_Proving_Translation,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XVw},
doi = {10.29007/xgq9},
pages = {1-14},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jmM},
doi = {10.29007/vv21},
pages = {15-27},
year = {2015}}
@inproceedings{LPAR-20:Conflicts_Strategies_QBF,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Cd},
doi = {10.29007/4sk1},
pages = {28-41},
year = {2015}}
@inproceedings{LPAR-20:Automated_Deduction_B_Set,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qzr},
doi = {10.29007/14v7},
pages = {42-58},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hHv},
doi = {10.29007/t28j},
pages = {59-66},
year = {2015}}
@inproceedings{LPAR-20:Reasoning_presence_inconsistency_through,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Vj},
doi = {10.29007/8qr4},
pages = {67-80},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ClHb},
doi = {10.29007/vbs5},
pages = {81-93},
year = {2015}}
@inproceedings{LPAR-20:Application_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/R},
doi = {10.29007/zl3d},
pages = {94-105},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dM},
doi = {10.29007/rkxm},
pages = {106-118},
year = {2015}}
@inproceedings{LPAR-20:New_Proof_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MWM},
doi = {10.29007/svwc},
pages = {119-130},
year = {2015}}
