Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

LPAR-19: Volume Information

LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Editors: Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov

EPiC Series in Computing•Volume 26

10 articles•103 pages•Published: July 28, 2014

Papers

Acceleration-based safety decision procedure for programs with arrays

Francesco Alberti, Silvio Ghilardi and Natasha Sharygina

1-8

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems

Gabriel Aranda, Susana Nieva, Fernando Saenz-Perez and Jaime Sánchez-Hernández

9-22

Conflict Resolution in Structured Argumentation

Martin Baláž, Jozef Frtús and Martin Homola

23-34

Instantiations, Zippers and EPR Interpolation

Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav

35-41

Robotics, Temporal Logic and Stream Reasoning

Patrick Doherty, Fredrik Heintz and Jonas Kvarnström

42-51

Practical Querying of Temporal Data via OWL 2 QL and SQL:2011

52-61

BDI: A New Decidable First-order Clause Class

Manuel Lamotte-Schubert and Christoph Weidenbach

62-74

An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future

Jiefei Ma, Rob Miller, Leora Morgenstern and Theodore Patkos

75-87

An Incremental Algorithm to Optimally Maintain Aggregate Views

Abhijeet Mohapatra and Michael Genesereth

88-96

Effectively Monadic Predicates

Margus Veanes, Nikolaj Bjorner, Lev Nachmanson and Sergey Bereg

97-103

Keyphrases

acceleration, 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, SMT², Stream Reasoning, superposition, symbolic automata, temporal databases, temporal logic, temporal query languages, theorem proving, Unmanned Aerial Vehicles, view maintenance.