| 2022 | A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation. Victor Hugo Nascimento Rocha, Fábio Gagliardi Cozman |
| 2022 | A General Framework for Modelling Conditional Reasoning - Preliminary Report. Giovanni Casini, Umberto Straccia |
| 2022 | A Graph Neural Network Reasoner for Game Description Language. Alvaro Gunawan, Ji Ruan, Xiaowei Huang |
| 2022 | A Gödel Calculus for Linear Temporal Logic. Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean |
| 2022 | A Minimal Deductive System for RDFS with Negative Statements. Umberto Straccia, Giovanni Casini |
| 2022 | ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova |
| 2022 | Act for Your Duties but Maintain Your Rights. Shufang Zhu, Giuseppe De Giacomo |
| 2022 | Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2022 | Automating Reasoning with Standpoint Logic via Nested Sequents. Tim S. Lyon, Lucía Gómez Álvarez |
| 2022 | Chasing Streams with Existential Rules. Jacopo Urbani, Markus Krötzsch, Thomas Eiter |
| 2022 | Compound Conditionals as Random Quantities and Boolean Algebras. Tommaso Flaminio, Angelo Gilio, Lluís Godo, Giuseppe Sanfilippo |
| 2022 | Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo |
| 2022 | Conservative Extensions for Existential Rules. Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski |
| 2022 | Counting Queries over ELHI⊥ Ontologies. Meghyn Bienvenu, Quentin Manière, Michaël Thomazo |
| 2022 | Defining Defense and Defeat in Abstract Argumentation From Scratch - A Generalizing Approach. Lydia Blümel, Markus Ulbricht |
| 2022 | Discovering User-Interpretable Capabilities of Black-Box Planning Agents. Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava |
| 2022 | Dynamic Deontic Logic for Permitted Announcements. Xu Li, Dov M. Gabbay, Réka Markovich |
| 2022 | Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo |
| 2022 | Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. Emiliano Lorini, Elise Perrotin, François Schwarzentruber |
| 2022 | Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement. Antonio Rago, Pietro Baroni, Francesca Toni |
| 2022 | Faithful Approaches to Rule Learning. David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik |
| 2022 | Finite Entailment of UCRPQs over ALC Ontologies. Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak |
| 2022 | Forecasting Argumentation Frameworks. Benjamin Irwin, Antonio Rago, Francesca Toni |
| 2022 | Hyperintensional Partial Meet Contractions. Marlo Souza, Renata Wassermann |
| 2022 | Inference with System W Satisfies Syntax Splitting. Jonas Haldimann, Christoph Beierle |
| 2022 | Interpolants and Explicit Definitions in Extensions of the Description Logic EL. Marie Fortin, Boris Konev, Frank Wolter |
| 2022 | Iterated Belief Change, Computationally. Kai Sauerwald, Christoph Beierle |
| 2022 | Kernel Contraction and the Order of Relevance. Jandson S. Ribeiro |
| 2022 | Learning Generalized Policies without Supervision Using GNNs. Simon Ståhlberg, Blai Bonet, Hector Geffner |
| 2022 | Learning Typed Rules over Knowledge Graphs. Hong Wu, Zhe Wang, Kewen Wang, Yi-Dong Shen |
| 2022 | Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves, João Leite |
| 2022 | Neural-Probabilistic Answer Set Programming. Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting |
| 2022 | Normalisations of Existential Rules: Not so Innocuous! David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo |
| 2022 | On Dynamics in Structured Argumentation Formalisms. Anna Rapberger, Markus Ulbricht |
| 2022 | On Syntactic Forgetting with Strong Persistence. Matti Berthold |
| 2022 | On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. Nicola Gigante, Andrea Micheli, Enrico Scala |
| 2022 | On the Relationship between Shy and Warded Datalog+/-. Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
| 2022 | On the Representation of Darwiche and Pearl's Epistemic States for Iterated Belief Revision. Nicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez |
| 2022 | Online Grounding of Symbolic Planning Domains in Unknown Environments. Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso |
| 2022 | Ontology-Mediated Querying on Databases of Bounded Cliquewidth. Carsten Lutz, Leif Sabellek, Lukas Schulze |
| 2022 | Open Relation Extraction with Non-existent and Multi-span Relationships. Huifan Yang, Da-Wei Li, Zekun Li, Donglin Yang, Bin Wu |
| 2022 | Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer |
| 2022 | Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing. Jens Claßen, James P. Delgrande |
| 2022 | Public and Private Affairs in Strategic Reasoning. Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2022 | Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. Franz Baader, Francesco Kriegel |
| 2022 | Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. Meghyn Bienvenu, Camille Bourgaux |
| 2022 | Rediscovering Argumentation Principles Utilizing Collective Attacks. Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran |
| 2022 | Region-Based Merging of Open-Domain Terminological Knowledge. Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak |
| 2022 | Revisiting Semiring Provenance for Datalog. Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo |
| 2022 | Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. Piero A. Bonatti, Luigi Sauro |
| 2022 | Stream Reasoning with Cycles. Periklis Mantenoglou, Manolis Pitsikalis, Alexander Artikis |
| 2022 | Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming. Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting |
| 2022 | Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO. Federico Sabbatini, Roberta Calegari |
| 2022 | The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion. Jonas Karge, Sebastian Rudolph |
| 2022 | The Topology of Surprise. Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque |
| 2022 | Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems. Alison R. Panisson, Peter McBurney, Rafael H. Bordini |
| 2022 | Unique Characterisability and Learnability of Temporal Instance Queries. Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2022 | Verification and Realizability in Finite-Horizon Multiagent Systems. Senthil Rajasekaran, Moshe Y. Vardi |
| 2022 | Who's the Expert? On Multi-source Belief Change. Joseph Singleton, Richard Booth |