|
|
LPAR-19: Keyword IndexKeyword | 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 |
|
|
|