EasyChair Publications
Search
LPAR-19 Volume Information
Volume:Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors)
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

LPAR-19 Volume Information

Title:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Editors:Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov
Series:EPiC Series in Computing
Volume:26
Publication date:July 28, 2014

Papers

AuthorsTitlePagesPDF
Francesco Alberti, Silvio Ghilardi and Natasha SharyginaAcceleration-based safety decision procedure for programs with arrays1-8
Gabriel Aranda, Susana Nieva, Fernando Saenz-Perez and Jaime Sánchez-HernándezIncorporating Hypothetical Views and Extended Recursion into SQL Database Systems9-22
Martin Baláž, Jozef Frtús and Martin HomolaConflict Resolution in Structured Argumentation23-34
Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori LahavInstantiations, Zippers and EPR Interpolation35-41
Patrick Doherty, Fredrik Heintz and Jonas KvarnströmRobotics, Temporal Logic and Stream Reasoning42-51
Szymon KlarmanPractical Querying of Temporal Data via OWL 2 QL and SQL:201152-61
Manuel Lamotte-Schubert and Christoph WeidenbachBDI: A New Decidable First-order Clause Class62-74
Jiefei Ma, Rob Miller, Leora Morgenstern and Theodore PatkosAn Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future75-87
Abhijeet Mohapatra and Michael GeneserethAn Incremental Algorithm to Optimally Maintain Aggregate Views88-96
Margus Veanes, Nikolaj Bjorner, Lev Nachmanson and Sergey BeregEffectively Monadic Predicates97-103

Keyphrases

CountKeyphrase
2smt
1acceleration, aggregate views, answer set programming, argumentation, arrays, automated planning, autonomous systems, clauses, conflict resolution, database update, databases, decidability, defeasible logic program, description logics, epistemic reasoning, epr, event calculus, execution monitoring, first order, fixpoint semantics, hyper resolution, hypothetical queries, incremental algorithm, interpolation, knowledge representation, monadic decomposition, monadic predicates, ontology based data access, ordered resolution, reasoning about action, recursion, resolution, satisfiability modulo theories, stream reasoning, superposition, symbolic automata, temporal databases, temporal logic, temporal query languages, theorem proving, unmanned aerial vehicles, view maintenance