# |
#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 |