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