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