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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2014}}
Papers
@inproceedings{LPAR-19:Acceleration_based_safety_decision,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/CvT},
doi = {10.29007/xf2n},
pages = {1-8},
year = {2014}}
@inproceedings{LPAR-19:Incorporating_Hypothetical_Views_Extended,
author = {Gabriel Aranda and Susana Nieva and Fernando Saenz-Perez and Jaime Sánchez-Hernández},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Fs7},
doi = {10.29007/3drl},
pages = {9-22},
year = {2014}}
@inproceedings{LPAR-19:Conflict_Resolution_Structured_Argumentation,
author = {Martin Baláž and Jozef Frtús 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MBj},
doi = {10.29007/brgz},
pages = {23-34},
year = {2014}}
@inproceedings{LPAR-19:Instantiations_Zippers_EPR_Interpolation,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XtN},
doi = {10.29007/xt3j},
pages = {35-41},
year = {2014}}
@inproceedings{LPAR-19:Robotics_Temporal_Logic_Stream,
author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnström},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/V1C},
doi = {10.29007/pmj5},
pages = {42-51},
year = {2014}}
@inproceedings{LPAR-19:Practical_Querying_Temporal_Data,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7Mwk},
doi = {10.29007/rlv9},
pages = {52-61},
year = {2014}}
@inproceedings{LPAR-19:BDI_New_Decidable_First,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Ccc},
doi = {10.29007/8m7f},
pages = {62-74},
year = {2014}}
@inproceedings{LPAR-19:Epistemic_Event_Calculus_ASP,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sJ7},
doi = {10.29007/zswj},
pages = {75-87},
year = {2014}}
@inproceedings{LPAR-19:Incremental_Algorithm_Optimally_Maintain,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/fNs8},
doi = {10.29007/zw67},
pages = {88-96},
year = {2014}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5},
doi = {10.29007/drll},
pages = {97-103},
year = {2014}}
