Volume
@proceedings{LPAR-19,
title = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{LPAR-19:Acceleration_based_safety_decision_procedure,
author = {Francesco Alberti and Silvio Ghilardi and Natasha Sharygina},
title = {Acceleration-based safety decision procedure for programs with arrays},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {1--8},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/CvT},
doi = {10.29007/xf2n}}
@inproceedings{LPAR-19:Incorporating_Hypothetical_Views_and,
author = {Gabriel Aranda and Susana Nieva and Fernando Saenz-Perez and Jaime S\textbackslash{}'anchez-Hern\textbackslash{}'andez},
title = {Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {9--22},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Fs7},
doi = {10.29007/3drl}}
@inproceedings{LPAR-19:Conflict_Resolution_in_Structured,
author = {Martin Bal\textbackslash{}'a\textbackslash{}v\{z\} and Jozef Frt\textbackslash{}'us and Martin Homola},
title = {Conflict Resolution in Structured Argumentation},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {23--34},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MBj},
doi = {10.29007/brgz}}
@inproceedings{LPAR-19:Instantiations_Zippers_and_EPR,
author = {Nikolaj Bjorner and Arie Gurfinkel and Konstantin Korovin and Ori Lahav},
title = {Instantiations, Zippers and EPR Interpolation},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {35--41},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XtN},
doi = {10.29007/xt3j}}
@inproceedings{LPAR-19:Robotics_Temporal_Logic_and,
author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\textbackslash{}"om},
title = {Robotics, Temporal Logic and Stream Reasoning},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {42--51},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/V1C},
doi = {10.29007/pmj5}}
@inproceedings{LPAR-19:Practical_Querying_of_Temporal,
author = {Szymon Klarman},
title = {Practical Querying of Temporal Data via OWL 2 QL and SQL:2011},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {52--61},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7Mwk},
doi = {10.29007/rlv9}}
@inproceedings{LPAR-19:BDI_New_Decidable_First_order,
author = {Manuel Lamotte-Schubert and Christoph Weidenbach},
title = {BDI: A New Decidable First-order Clause Class},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {62--74},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Ccc},
doi = {10.29007/8m7f}}
@inproceedings{LPAR-19:An_Epistemic_Event_Calculus,
author = {Jiefei Ma and Rob Miller and Leora Morgenstern and Theodore Patkos},
title = {An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {75--87},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sJ7},
doi = {10.29007/zswj}}
@inproceedings{LPAR-19:An_Incremental_Algorithm_to,
author = {Abhijeet Mohapatra and Michael Genesereth},
title = {An Incremental Algorithm to Optimally Maintain Aggregate Views},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {88--96},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/fNs8},
doi = {10.29007/zw67}}
@inproceedings{LPAR-19:Effectively_Monadic_Predicates,
author = {Margus Veanes and Nikolaj Bjorner and Lev Nachmanson and Sergey Bereg},
title = {Effectively Monadic Predicates},
booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {26},
pages = {97--103},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5},
doi = {10.29007/drll}}