default search action

combined dblp search
author search
venue search
publication search

ask others

19th LPAR 2013: Stellenbosch, South Africa - Short Papers

> Home > Conferences and Workshops > LPAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ easychair.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lpar/2013s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2013s
Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov:
LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. EPiC Series in Computing 26, EasyChair 2014
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/AlbertiGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AlbertiGS13
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Acceleration-based safety decision procedure for programs with arrays. 1-8
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Aranda-LopezNSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Aranda-LopezNSS13
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández:
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. 9-22
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BalazFH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BalazFH13
Martin Baláz, Jozef Frtús, Martin Homola:
Conflict Resolution in Structured Argumentation. 23-34
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BjornerGKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BjornerGKL13
Nikolaj S. Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav:
Instantiations, Zippers and EPR Interpolation. 35-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/DohertyHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/DohertyHK13
Patrick Doherty, Fredrik Heintz, Jonas Kvarnström:
Robotics, Temporal Logic and Stream Reasoning. 42-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Klarman13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Klarman13
Szymon Klarman:
Practical Querying of Temporal Data via OWL 2 QL and SQL: 2011. 52-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Lamotte-SchubertW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Lamotte-SchubertW13
Manuel Lamotte-Schubert, Christoph Weidenbach:
BDI: A New Decidable First-order Clause Class. 62-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/MaMMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MaMMP13
Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos:
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. 75-87
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/MohapatraG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MohapatraG13
Abhijeet Mohapatra, Michael R. Genesereth:
An Incremental Algorithm to Optimally Maintain Aggregate Views. 88-96
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/VeanesBNB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/VeanesBNB13
Margus Veanes, Nikolaj S. Bjørner, Lev Nachmanson, Sergey Bereg:
Effectively Monadic Predicates. 97-103

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.