| A | D | E | F | I | J | |
|---|---|---|---|---|---|---|
1 | September 7 | |||||
2 | ||||||
3 | 8:30 – 9:30 | Invited Talk: Torsten Schaub (University of Potsdam): ASP in Industry, here and there | ||||
4 | ||||||
5 | Logic Programming | Argumentation and Reasoning About Knowledge | ||||
6 | 9:30 – 10:45 | Markus Hecher and Rafael Kiesel | The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits | Daxin Liu, Qihui Feng, Vaishak Belle and Gerhard Lakemeyer | Concerning Measures in a First-order Logic with Actions and Meta-beliefs | |
7 | Zeynep G. Saribatur and Stefan Woltran | Foundations for Projecting Away the Irrelevant in ASP Programs | Ofer Arieli and Jesse Heyninck | Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences | ||
8 | Jorge Fandinno and Vladimir Lifschitz | Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs | Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P. Wallner and Matti Järvisalo | Argumentative Reasoning in ASPIC+ under Incomplete Information | ||
9 | ||||||
10 | 10:45 – 11:15 | Coffee Break | ||||
11 | ||||||
12 | 11:15 – 12:15 | DI Session | ||||
13 | ||||||
14 | 12:15 – 14:00 | Lunch Break | ||||
15 | ||||||
16 | ||||||
17 | 14:00 – 15:40 | Applications of KR | 14:00 – 15:40 | Explainable AI | ||
18 | Periklis Mantenoglou, Dimitrios Kelesis and Alexander Artikis | Complex Event Recognition with Allen Relations | Federico Sabbatini and Roberta Calegari | Explainable Clustering with CREAM | ||
19 | Adam Ishay, Zhun Yang and Joohyung Lee | Leveraging Large Language Models to Generate Answer Set Programs | Lance Kennedy, Issouf Kindo and Arthur Choi | On Training Neurons with Bounded Compilations | ||
20 | Valeria Fionda, Antonio Ielo and Francesco Ricca | Logic-based Composition of Business Process Models | Clément Carbonnel, Martin Cooper and Joao Marques-Silva | Tractable Explaining of Multivariate Decision Trees | ||
21 | Frederico Aleixo, Matthias Knorr and Joao Leite | Revising Boolean Logical Models of Biological Regulatory Networks | David Tena Cucala, Bernardo Cuenca Grau, Boris Motik and Egor Kostylev | On the Correspondence Between Max-Sum GNNs and Datalog | ||
22 | ||||||
23 | ||||||
24 | 15:40 – 16:10 | Coffee Break | ||||
25 | ||||||
26 | 16:10 – 17:50 | Argumentation & Explainable AI | Belief Revision | |||
27 | Antonio Rago, Hengzhi Li and Francesca Toni | Interactive Explanations by Conflict Resolution via Argumentative Exchanges | Jesse Heyninck, Giovanni Casini, Thomas Meyer and Umberto Straccia | Revising typical beliefs: one revision to rule them all | ||
28 | Cándido Otero, Dennis Craandijk and Floris Bex | ORLA: Learning Explainable Argumentation Models | Daira Pinto Prieto, Ronald de Haan and Aybüke Özgün | A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence | ||
29 | Matti Berthold, Anna Rapberger and Markus Ulbricht | Forgetting Aspects in Assumption-Based Argumentation | Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez | Iteration of Iterated Belief Revision | ||
30 | Rita T. Sousa, Sara Silva and Catia Pesquita | Explainable representations for relation prediction in knowledge graphs | Alejandro J. Mercado, Daniel Grimaldi and Ricardo Oscar Rodriguez | Weak-ensconcement for Shielded base contraction | ||
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2-8, 2023, Rhodes, Greece