|
|
LPAR-19: Author Index| Author | Papers |
|---|
| A | | Alberti, Francesco | Acceleration-based safety decision procedure for programs with arrays | | Aranda, Gabriel | Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems | | B | | Baláž, Martin | Conflict Resolution in Structured Argumentation | | Bereg, Sergey | Effectively Monadic Predicates | | Bjorner, Nikolaj | Instantiations, Zippers and EPR Interpolation
Effectively Monadic Predicates | | D | | Doherty, Patrick | Robotics, Temporal Logic and Stream Reasoning | | F | | Frtús, Jozef | Conflict Resolution in Structured Argumentation | | G | | Genesereth, Michael | An Incremental Algorithm to Optimally Maintain Aggregate Views | | Ghilardi, Silvio | Acceleration-based safety decision procedure for programs with arrays | | Gurfinkel, Arie | Instantiations, Zippers and EPR Interpolation | | H | | Heintz, Fredrik | Robotics, Temporal Logic and Stream Reasoning | | Homola, Martin | Conflict Resolution in Structured Argumentation | | K | | Klarman, Szymon | Practical Querying of Temporal Data via OWL 2 QL and SQL:2011 | | Korovin, Konstantin | Instantiations, Zippers and EPR Interpolation | | Kvarnström, Jonas | Robotics, Temporal Logic and Stream Reasoning | | L | | Lahav, Ori | Instantiations, Zippers and EPR Interpolation | | Lamotte-Schubert, Manuel | BDI: A New Decidable First-order Clause Class | | M | | Ma, Jiefei | An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future | | Miller, Rob | An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future | | Mohapatra, Abhijeet | An Incremental Algorithm to Optimally Maintain Aggregate Views | | Morgenstern, Leora | An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future | | N | | Nachmanson, Lev | Effectively Monadic Predicates | | Nieva, Susana | Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems | | P | | Patkos, Theodore | An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future | | S | | Saenz-Perez, Fernando | Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems | | Sharygina, Natasha | Acceleration-based safety decision procedure for programs with arrays | | Sánchez-Hernández, Jaime | Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems | | V | | Veanes, Margus | Effectively Monadic Predicates | | W | | Weidenbach, Christoph | BDI: A New Decidable First-order Clause Class |
|
|
|
