| A | D | E | F | I | J | |
|---|---|---|---|---|---|---|
1 | September 6 | |||||
2 | ||||||
3 | 8:30 – 9:30 | Invited Talk: Michael Gelfond (Texas Tech University): Knowledge Representation in the Languages of Logic Programs under Answer Set Semantics | ||||
4 | ||||||
5 | Belief Revision and Update | Computational aspects of knowledge representation | ||||
6 | 9:30-10:20 | Patricia Everaere, Chouaib Fellah, Sébastien Konieczny and Ramon Pino Perez | Weighted Merging of Propositional Belief Bases | Agata Ciabattoni and Dmitry Rozplokhas | Streamlining Input/Output Logics with Sequent Calculi | |
7 | Eduardo Fermé, Sébastien Konieczny, Ramon Pino Perez and Nicolas Schwind | Credible Models of Belief Update | Stéphane Demri and Raine Rönnholm | How to Manage a Budget with ATL+ | ||
8 | ||||||
9 | 10:20-10:50 | Coffee Break | ||||
10 | ||||||
11 | 10:50-12:10 | Automated Reasoning and Argumentation | Application of KR | |||
12 | Tim Lyon, Lucía Gómez Álvarez and Nicola Gigante | Standpoint Linear Temporal Logic | Yakoub Salhi and Michael Sioutis | A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning | ||
13 | Elena Umili, Roberto Capobianco and Giuseppe De Giacomo | Grounding LTLf specifications in image sequences | Ruolin Wang, Yuejiao Xu, Jie Peng and Jianmin Ji | A$^2$CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles | ||
14 | Lars Bengel and Matthias Thimm | Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation | Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos Margineantu and Alessio Lomuscio | Verification of Semantic Key Point Detection for Aircraft Pose Estimation | ||
15 | Michael Bernreiter and Matthias König | From Qualitative Choice Logic to Abstract Argumentation | Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García | Combining Global and Local Merges in Logic-based Entity Resolution | ||
16 | Ringo Baumann and Anne-Marie Heine | On Conflict-free Labellings – Realizability, Construction and Patterns of Redundancy | ||||
17 | ||||||
18 | ||||||
19 | 12:10-14:00 | Lunch Break | ||||
20 | ||||||
21 | 14:00-15:00 | Invited Talk: Claudia d’Amato (University of Bari): On the need of semantics when tackling Knowledge Graph completion under a Machine Learning perspective | ||||
22 | ||||||
23 | 15:00 – 15:30 | Coffee Break | ||||
24 | ||||||
25 | 15:30- 17:10 | RPR (3) (15:30 – 16:00) | Multi-Agent Systems and Knowledge Compilation | |||
26 | Computational aspects of knowledge representation (16:00 – 17:15) | Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks and Egor V. Kostylev | Revisiting Inferential Benchmarks for Knowledge Graph Completion | |||
27 | Przemysław Andrzej Wałęga, Michal Zawidzki and Christoph Haase | Computing All Facts Entailed By An LTL Specification | Maksim Gladyshev, Natasha Alechina, Mehdi Dastani and Dragan Doder | Group Responsibility for Increasing Risk | ||
28 | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo and Angelo Montanari | A singly exponential transformation of LTL[X, F] into pure past LTL | Rafael Kiesel and Thomas Eiter | Knowledge Compilation and more with SharpSAT-TD | ||
29 | Thomas Lukasiewicz, Enrico Malizia and Cristian Molinaro | Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Preferred Repairs | Wojtek Jamroga and Yan Kim | Practical Abstraction for Model Checking of Multi-Agent Systems | ||
30 | ||||||
31 | 17:20 – | Excursion & Banquet | ||||
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2-8, 2023, Rhodes, Greece