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