|
|
LPAR-19: Author IndexAuthor | 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 |
|
|
|