# |

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