Abstract is missing.
- Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite CaseMagdalena Ortiz. 1-14 [doi]
- Practical Query Rewriting for DL-Lite with Numerical PredicatesChristian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan. 15-27 [doi]
- Ultimately-periodic Interval Model Checking for Temporal Dataset EvaluationDario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco. 28-41 [doi]
- Visual Reasoning on Complex Events in Soccer Videos Using Answer Set ProgrammingAbdullah Khan, Loris Bozzato, Luciano Serafini, Beatrice Lazzerini. 42-53 [doi]
- A Declarative Method for Dynamic Multi-Agent Path FindingAysu Bogatarkan, Volkan Patoglu, Esra Erdem 0001. 54-67 [doi]
- On Knowledge Dependence in Weighted Description LogicPietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard. 68-80 [doi]
- Projection in a Description Logic of Context with ActionsSatyadharma Tirtarasa, Benjamin Zarrieß. 81-93 [doi]
- Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial ReasoningMohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel. 94-107 [doi]
- Weighted Description Logic for Classification ProblemsGuendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard. 108-112 [doi]
- Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model CountingSibylle Möhle, Armin Biere. 113-126 [doi]
- DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order LogicRuba Alassaf, Renate A. Schmidt. 127-138 [doi]
- Common Knowledge in Epistemic Logic With HypothesesLevan Uridia, Dirk Walther 0002. 139-151 [doi]
- On the Robustness of Active LearningLukas Hahn, Lutz Roese-Koerner, Peet Cremer, Urs Zimmermann, Ori Maoz, Anton Kummert. 152-162 [doi]
- Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement LearningJoão Ribeiro, Francisco S. Melo, João Dias. 163-175 [doi]