| # |
| #SAT | Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting |
| a |
| Ackermann's Lemma | DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic |
| active learning | On the Robustness of Active Learning |
| Answer Set Programming | Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming
A Declarative Method for Dynamic Multi-Agent Path Finding
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning |
| c |
| catastrophic forgetting | Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning |
| chronological backtracking | Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting |
| Classification problems | Weighted Description Logic for Classification Problems |
| computer vision | On the Robustness of Active Learning |
| concrete domains | Practical Query Rewriting for DL-Lite with Numerical Predicates |
| conflict-driven clause learning | Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting |
| Continual Learning | Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning |
| cultural heritage | Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning |
| d |
| Data Analytics | On the Robustness of Active Learning |
| declarative problem solving | A Declarative Method for Dynamic Multi-Agent Path Finding |
| Description Logic | On Knowledge Dependence in Weighted Description Logic
Projection in a Description Logic of Context with Actions |
| Description Logics | Practical Query Rewriting for DL-Lite with Numerical Predicates |
| Description logics in learning | Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case |
| DL-Lite | Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case
Practical Query Rewriting for DL-Lite with Numerical Predicates |
| e |
| Event Calculus | Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming |
| Event detection in video | Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming |
| f |
| first-order logic | DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic |
| forgetting | DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic |
| h |
| hierarchical networks | On the Robustness of Active Learning |
| i |
| image classification | On the Robustness of Active Learning |
| k |
| knowledge base | Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning |
| Knowledge Representation and Reasoning | A Declarative Method for Dynamic Multi-Agent Path Finding |
| Kripke completeness | Common Knowledge in Epistemic Logic With Hypotheses |
| l |
| linear models | On Knowledge Dependence in Weighted Description Logic |
| Logic of Hypotheses | Common Knowledge in Epistemic Logic With Hypotheses |
| m |
| machine learning | On Knowledge Dependence in Weighted Description Logic |
| modal logic | Common Knowledge in Epistemic Logic With Hypotheses |
| model checking | Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation |
| model counting | Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting |
| multi-agent path finding | A Declarative Method for Dynamic Multi-Agent Path Finding |
| multi-task learning | Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning |
| o |
| Ontology | Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning |
| Ontology-Based Query Answering | Practical Query Rewriting for DL-Lite with Numerical Predicates |
| ontology-mediated queries | Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case |
| p |
| propositional calculus | Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting |
| prototype theory | Weighted Description Logic for Classification Problems |
| q |
| query by example | Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case |
| query rewriting | Practical Query Rewriting for DL-Lite with Numerical Predicates |
| r |
| Reasoning | Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning |
| reasoning about action | Projection in a Description Logic of Context with Actions |
| Reverse engineering queries | Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case |
| rules | Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting |
| s |
| SAT | Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting |
| t |
| temporal dataset evaluation | Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation |
| Threshold Operators | On Knowledge Dependence in Weighted Description Logic |
| Transfer Learning | Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning |
| Two-dimensional Description Logic | Projection in a Description Logic of Context with Actions |
| u |
| ultimately periodic models | Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation |
| w |
| weighted description logic | Weighted Description Logic for Classification Problems |
