LPAR-19: Author Index

AuthorPapers
A
Alberti, FrancescoAcceleration-based safety decision procedure for programs with arrays
Aranda, GabrielIncorporating Hypothetical Views and Extended Recursion into SQL Database Systems
B
Baláž, MartinConflict Resolution in Structured Argumentation
Bereg, SergeyEffectively Monadic Predicates
Bjorner, NikolajInstantiations, Zippers and EPR Interpolation
Effectively Monadic Predicates
D
Doherty, PatrickRobotics, Temporal Logic and Stream Reasoning
F
Frtús, JozefConflict Resolution in Structured Argumentation
G
Genesereth, MichaelAn Incremental Algorithm to Optimally Maintain Aggregate Views
Ghilardi, SilvioAcceleration-based safety decision procedure for programs with arrays
Gurfinkel, ArieInstantiations, Zippers and EPR Interpolation
H
Heintz, FredrikRobotics, Temporal Logic and Stream Reasoning
Homola, MartinConflict Resolution in Structured Argumentation
K
Klarman, SzymonPractical Querying of Temporal Data via OWL 2 QL and SQL:2011
Korovin, KonstantinInstantiations, Zippers and EPR Interpolation
Kvarnström, JonasRobotics, Temporal Logic and Stream Reasoning
L
Lahav, OriInstantiations, Zippers and EPR Interpolation
Lamotte-Schubert, ManuelBDI: A New Decidable First-order Clause Class
M
Ma, JiefeiAn Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
Miller, RobAn Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
Mohapatra, AbhijeetAn Incremental Algorithm to Optimally Maintain Aggregate Views
Morgenstern, LeoraAn Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
N
Nachmanson, LevEffectively Monadic Predicates
Nieva, SusanaIncorporating Hypothetical Views and Extended Recursion into SQL Database Systems
P
Patkos, TheodoreAn Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
S
Saenz-Perez, FernandoIncorporating Hypothetical Views and Extended Recursion into SQL Database Systems
Sharygina, NatashaAcceleration-based safety decision procedure for programs with arrays
Sánchez-Hernández, JaimeIncorporating Hypothetical Views and Extended Recursion into SQL Database Systems
V
Veanes, MargusEffectively Monadic Predicates
W
Weidenbach, ChristophBDI: A New Decidable First-order Clause Class