LPAR-19: Keyword Index

Keyword	Papers
a
acceleration	Acceleration-based safety decision procedure for programs with arrays
aggregate views	An Incremental Algorithm to Optimally Maintain Aggregate Views
Answer Set Programming	An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
Argumentation	Conflict Resolution in Structured Argumentation
arrays	Acceleration-based safety decision procedure for programs with arrays
Automated Planning	Robotics, Temporal Logic and Stream Reasoning
autonomous systems	Robotics, Temporal Logic and Stream Reasoning
c
clauses	BDI: A New Decidable First-order Clause Class
conflict resolution	Conflict Resolution in Structured Argumentation
d
database update	An Incremental Algorithm to Optimally Maintain Aggregate Views
Databases	Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems
decidability	BDI: A New Decidable First-order Clause Class
defeasible logic program	Conflict Resolution in Structured Argumentation
Description Logics	Practical Querying of Temporal Data via OWL 2 QL and SQL:2011
e
Epistemic Reasoning	An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
EPR	Instantiations, Zippers and EPR Interpolation
Event Calculus	An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
execution monitoring	Robotics, Temporal Logic and Stream Reasoning
f
first-order	BDI: A New Decidable First-order Clause Class
Fixpoint Semantics	Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems
h
hyper-resolution	BDI: A New Decidable First-order Clause Class
Hypothetical Queries	Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems
i
incremental algorithm	An Incremental Algorithm to Optimally Maintain Aggregate Views
interpolation	Instantiations, Zippers and EPR Interpolation
k
knowledge representation	Robotics, Temporal Logic and Stream Reasoning
m
monadic decomposition	Effectively Monadic Predicates
Monadic predicates	Effectively Monadic Predicates
o
ontology-based data access	Practical Querying of Temporal Data via OWL 2 QL and SQL:2011
ordered resolution	BDI: A New Decidable First-order Clause Class
r
reasoning about action	An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
recursion	Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems
resolution	BDI: A New Decidable First-order Clause Class
s
Satisfiability Modulo Theories	Effectively Monadic Predicates
SMT	Acceleration-based safety decision procedure for programs with arrays Instantiations, Zippers and EPR Interpolation
Stream Reasoning	Robotics, Temporal Logic and Stream Reasoning
superposition	BDI: A New Decidable First-order Clause Class
symbolic automata	Effectively Monadic Predicates
t
temporal databases	Practical Querying of Temporal Data via OWL 2 QL and SQL:2011
temporal logic	Robotics, Temporal Logic and Stream Reasoning
temporal query languages	Practical Querying of Temporal Data via OWL 2 QL and SQL:2011
theorem proving	Instantiations, Zippers and EPR Interpolation
u
Unmanned Aerial Vehicles	Robotics, Temporal Logic and Stream Reasoning
v
view maintenance	An Incremental Algorithm to Optimally Maintain Aggregate Views