![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
19th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.