default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th LPAR 2013: Stellenbosch, South Africa - Short Papers
- 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 - Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
:
Acceleration-based safety decision procedure for programs with arrays. 1-8 - 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 - Martin Baláz, Jozef Frtús, Martin Homola:
Conflict Resolution in Structured Argumentation. 23-34 - Nikolaj S. Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav:
Instantiations, Zippers and EPR Interpolation. 35-41 - Patrick Doherty, Fredrik Heintz, Jonas Kvarnström:
Robotics, Temporal Logic and Stream Reasoning. 42-51 - Szymon Klarman:
Practical Querying of Temporal Data via OWL 2 QL and SQL: 2011. 52-61 - Manuel Lamotte-Schubert, Christoph Weidenbach:
BDI: A New Decidable First-order Clause Class. 62-74 - 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 - Abhijeet Mohapatra, Michael R. Genesereth:
An Incremental Algorithm to Optimally Maintain Aggregate Views. 88-96 - 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.
last updated on 2024-12-04 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
