LPAR-19:BibTeX Entries

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