Main Track – KR 2023

Yakoub Salhi and Michael Sioutis, A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning, Full Paper
Vít Punčochář, Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics, Full Paper
Dominik Drexler, Jendrik Seipp and Hector Geffner, Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules, Full Paper
David Fernández-Duque, Brett McLean and Lukas Zenger, A Family of Decidable Bi-intuitionistic Modal Logics, Full Paper
Patricia Everaere, Chouaib Fellah, Sébastien Konieczny and Ramon Pino Perez, Weighted Merging of Propositional Belief Bases, Full Paper
Lars Bengel and Matthias Thimm, Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation, Short Paper
Antonio Rago, Hengzhi Li and Francesca Toni, Interactive Explanations by Conflict Resolution via Argumentative Exchanges, Full Paper
Eduardo Fermé, Sébastien Konieczny, Ramon Pino Perez and Nicolas Schwind, Credible Models of Belief Update, Full Paper
Federico Sabbatini and Roberta Calegari, Explainable Clustering with CREAM, Full Paper
Lydia Blümel and Matthias Thimm, Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics, Full Paper
Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp, Eliminating Redundant Actions from Plans using Classical Planning, Short Paper
Michel Leclère, Marie-Laure Mugnier and Guillaume Pérution-Kihli, Query Rewriting with Disjunctive Existential Rules and Mappings, Full Paper
Michael Bernreiter and Matthias König, From Qualitative Choice Logic to Abstract Argumentation, Short Paper
Jesse Heyninck, Giovanni Casini, Thomas Meyer and Umberto Straccia, Revising typical beliefs: one revision to rule them all, Full Paper
Tim Lyon and Piotr Ostropolski-Nalewaja, Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules, Short Paper
Tommaso Flaminio, Sandro Preto and Sara Ugolini, Reasoning about probability via continuous functions, Full Paper
Lance Kennedy, Issouf Kindo and Arthur Choi, On Training Neurons with Bounded Compilations, Full Paper
Markus Hecher and Rafael Kiesel, The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits, Full Paper
Pietro Galliani, Oliver Kutz and Nicolas Troquard, Succinctness and Complexity of ALC with Counting Perceptrons, Full Paper
Zeynep G. Saribatur and Stefan Woltran, Foundations for Projecting Away the Irrelevant in ASP Programs, Full Paper
Xinghan Liu, Emiliano Lorini, Andreas Herzig and Carlos Aguilera-Ventura, Counterfactual Reasoning via Grounded Distance, Full Paper
Agata Ciabattoni and Dmitry Rozplokhas, Streamlining Input/Output Logics with Sequent Calculi, Full Paper
Toryn Q. Klassen, Christian Muise and Sheila McIlraith, Planning with Epistemic Preferences, Short Paper
Cándido Otero, Dennis Craandijk and Floris Bex, ORLA: Learning Explainable Argumentation Models, Full Paper
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks and Egor V. Kostylev, Revisiting Inferential Benchmarks for Knowledge Graph Completion, Full Paper
Przemysław Andrzej Wałęga, Michal Zawidzki and Christoph Haase, Computing All Facts Entailed By An LTL Specification, Full Paper
Clément Carbonnel, Martin Cooper and Joao Marques-Silva, Tractable Explaining of Multivariate Decision Trees, Full Paper
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal and Jonni Virtema, Unified Foundations of Team Semantics via Semirings, Full Paper
Lukas Gerlach and David Carral, Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination, Full Paper
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani and Dragan Doder, Group Responsibility for Increasing Risk, Full Paper
Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni and Francesco Pacenza, From Vision to Execution: Enabling Reasoning and Knowledge Representation in Hybrid Intelligent Robots Playing Mobile Games, Full Paper
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo and Angelo Montanari, A singly exponential transformation of LTL[X, F] into pure past LTL, Full Paper
Carsten Lutz, Quentin Manière and Robin Nolte, Querying Circumscribed Description Logic Knowledge Bases, Full Paper
Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Strass, Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+, Full Paper
Periklis Mantenoglou, Dimitrios Kelesis and Alexander Artikis, Complex Event Recognition with Allen Relations, Full Paper
Tim Lyon, Lucía Gómez Álvarez and Nicola Gigante, Standpoint Linear Temporal Logic, Full Paper
Ronald Fagin, Phokion Kolaitis, Domenico Lembo, Lucian Popa and Federico Scafoglieri, A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases, Full Paper
Daxin Liu, Qihui Feng, Vaishak Belle and Gerhard Lakemeyer, Concerning Measures in a First-order Logic with Actions and Meta-beliefs, Full Paper
Rafael Kiesel and Thomas Eiter, Knowledge Compilation and more with SharpSAT-TD, Full Paper
Stéphane Demri and Raine Rönnholm, How to Manage a Budget with ATL+, Full Paper
Henry Prakken, Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions, Full Paper
Carsten Lutz and Lukas Schulze, Description Logics with Abstraction and Refinement, Full Paper
Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P. Wallner and Matti Järvisalo, Argumentative Reasoning in ASPIC+ under Incomplete Information, Full Paper
Ofer Arieli and Jesse Heyninck, Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences, Full Paper
Meghyn Bienvenu and Camille Bourgaux, Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints, Full Paper
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, Full Paper
Claire David, Nadime Francis and Victor Marsault, Run-Based Semantics for RPQs, Full Paper
Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez, Iteration of Iterated Belief Revision, Full Paper
Adam Ishay, Zhun Yang and Joohyung Lee, Neuro-Symbolic Reasoning with Large Language Models and Answer Set Programming: A Case Study on Logic Puzzles, Full Paper
Jorge Fandinno and Vladimir Lifschitz, Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs, Full Paper
Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jäkel and Michael Beetz, Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations, Full Paper
Ringo Baumann and Anne-Marie Heine, On Conflict-free Labellings – Realizability, Construction and Patterns of Redundancy, Short Paper
Jonas Philipp Haldimann and Christoph Beierle, Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds, Short Paper
Ruolin Wang, Yuejiao Xu, Jie Peng and Jianmin Ji, A$^2$CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles, Full Paper
Valeria Fionda, Antonio Ielo and Francesco Ricca, Logic-based Composition of Business Process Models, Full Paper
Agi Kurucz, Frank Wolter and Michael Zakharyaschev, Definitions and (Uniform) Interpolants in First-Order Modal Logic, Full Paper
Paulius Dilkas and Vaishak Belle, Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures, Full Paper
Wojtek Jamroga and Yan Kim, Practical Abstraction for Model Checking of Multi-Agent Systems, Full Paper
Simon Ståhlberg, Blai Bonet and Hector Geffner, Learning General Policies with Policy Gradient Methods, Full Paper
Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos Margineantu and Alessio Lomuscio, Verification of Semantic Key Point Detection for Aircraft Pose Estimation, Short Paper
Matti Berthold, Anna Rapberger and Markus Ulbricht, Forgetting Aspects in Assumption-Based Argumentation, Full Paper
Shaked Almog and Meir Kalech, Diagnosis for Post Concept Drift Decision Trees Repair, Full Paper
Alejandro J. Mercado, Daniel Grimaldi and Ricardo Oscar Rodriguez, Weak-ensconcement for Shielded base contraction, Full Paper
Frederico Aleixo, Matthias Knorr and Joao Leite, Revising Boolean Logical Models of Biological Regulatory Networks, Full Paper
Elena Umili, Roberto Capobianco and Giuseppe De Giacomo, Grounding LTLf specifications in image sequences, Full Paper
Marcos Cramer, Samuele Pollaci and Bart Bogaerts, Mathematical Foundations for Joining Only Knowing and Common Knowledge, Full Paper
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik and Egor Kostylev, On the Correspondence Between Max-Sum GNNs and Datalog, Full Paper
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh and François Schwarzentruber, On simple expectations and observations of intelligent agents: A complexity study, Full Paper
Francesco Leofante, Elena Botoeva and Vineet Rajani, Counterfactual Explanations and Model Multiplicity: a Relational Verification View, Short Paper
Alexander Bochman, Default Logic as a Species of Causal Reasoning, Full Paper
Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann and Aniello Murano, Strategic Abilities of Forgetful Agents in Stochastic Environments, Short Paper
Rita T. Sousa, Sara Silva and Catia Pesquita, Explainable representations for relation prediction in knowledge graphs, Full Paper
Thomas Lukasiewicz, Enrico Malizia and Cristian Molinaro, Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Preferred Repairs, Full Paper
Ava Clifton and Charles Gretton, Property Directed Reachability for Planning Revisited, Full Paper
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner, Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity, Full Paper
Sean Zammit and Michael Thielscher, General Game Playing With State-Independent Communication, Full Paper
Marco Wilhelm, Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning, Full Paper
Yannet Interian and Sara Bernardini, Learning Interpretable Heuristics for WalkSAT, Full Paper
Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb, Active Disjunctive Constraint Acquisition, Full Paper
Gianluca Cima, Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García, Combining Global and Local Merges in Logic-based Entity Resolution, Short Paper