Table of Contents

• Online Grounding of Symbolic Planning Domains in Unknown EnvironmentsLeonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso. [doi]
• Epistemic Actions: Comparing Multi-agent Belief Bases with Action ModelsEmiliano Lorini, Elise Perrotin, François Schwarzentruber. [doi]
• Compound Conditionals as Random Quantities and Boolean AlgebrasTommaso Flaminio, Angelo Gilio, Lluís Godo, Giuseppe Sanfilippo. [doi]
• ALASPO: An Adaptive Large-Neighbourhood ASP OptimiserThomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova 0001. [doi]
• Interpolants and Explicit Definitions in Extensions of the Description Logic ELMarie Fortin, Boris Konev, Frank Wolter. [doi]
• Discovering User-Interpretable Capabilities of Black-Box Planning AgentsPulkit Verma 0001, Shashank Rao Marpally, Siddharth Srivastava 0001. [doi]
• Chasing Streams with Existential RulesJacopo Urbani, Markus Krötzsch, Thomas Eiter. [doi]
• Defining Defense and Defeat in Abstract Argumentation From Scratch - A Generalizing ApproachLydia Blümel, Markus Ulbricht 0001. [doi]
• Neural-Probabilistic Answer Set ProgrammingArseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting. [doi]
• Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation FormalismTuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo. [doi]
• Kernel Contraction and the Order of RelevanceJandson S. Ribeiro. [doi]
• Open Relation Extraction with Non-existent and Multi-span RelationshipsHuifan Yang, Da-wei Li, Zekun Li, Donglin Yang, Bin Wu. [doi]
• On Dynamics in Structured Argumentation FormalismsAnna Rapberger, Markus Ulbricht 0001. [doi]
• Act for Your Duties but Maintain Your RightsShufang Zhu 0001, Giuseppe De Giacomo. [doi]
• Faithful Approaches to Rule LearningDavid J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik. [doi]
• Learning Typed Rules over Knowledge GraphsHong Wu, Zhe Wang 0001, Kewen Wang 0001, Yi-Dong Shen. [doi]
• Rediscovering Argumentation Principles Utilizing Collective AttacksWolfgang Dvorák, Matthias König 0002, Markus Ulbricht 0001, Stefan Woltran. [doi]
• Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and ExperimentsMeghyn Bienvenu, Camille Bourgaux. [doi]
• Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive ClosurePiero A. Bonatti, Luigi Sauro. [doi]
• Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered EmbeddingsYaniv Aspis, Krysia Broda, Jorge Lobo 0001, Alessandra Russo. [doi]
• Towards an Enthymeme-Based Communication Framework in Multi-Agent SystemsAlison R. Panisson, Peter McBurney, Rafael H. Bordini. [doi]
• On the Relationship between Shy and Warded Datalog+/-Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger. [doi]
• Stream Reasoning with CyclesPeriklis Mantenoglou, Manolis Pitsikalis, Alexander Artikis. [doi]
• Forecasting Argumentation FrameworksBenjamin Irwin, Antonio Rago 0001, Francesca Toni. [doi]
• On the Expressive Power of Intermediate and Conditional Effects in Temporal PlanningNicola Gigante, Andrea Micheli, Enrico Scala. [doi]
• Finite Entailment of UCRPQs over ALC OntologiesVíctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez García, Filip Murlak. [doi]
• Who's the Expert? On Multi-source Belief ChangeJoseph Singleton, Richard Booth 0001. [doi]
• The Topology of SurpriseAlexandru Baltag, Nick Bezhanishvili, David Fernández Duque. [doi]
• Inference with System W Satisfies Syntax SplittingJonas Haldimann, Christoph Beierle. [doi]
• Normalisations of Existential Rules: Not so Innocuous!David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo. [doi]
• A General Framework for Modelling Conditional Reasoning - Preliminary ReportGiovanni Casini, Umberto Straccia. [doi]
• Region-Based Merging of Open-Domain Terminological KnowledgeZied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak. [doi]
• Ontology-Mediated Querying on Databases of Bounded CliquewidthCarsten Lutz, Leif Sabellek, Lukas Schulze. [doi]
• Looking Inside the Black-Box: Logic-based Explanations for Neural NetworksJoão Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves 0001, João Leite 0001. [doi]
• Revisiting Semiring Provenance for DatalogCamille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo. [doi]
• On Syntactic Forgetting with Strong PersistenceMatti Berthold. [doi]
• Sum-Product Loop Programming: From Probabilistic Circuits to Loop ProgrammingViktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting. [doi]
• Automatic Synthesis of Dynamic Norms for Multi-Agent SystemsNatasha Alechina, Giuseppe De Giacomo, Brian Logan 0001, Giuseppe Perelli. [doi]
• On the Representation of Darwiche and Pearl's Epistemic States for Iterated Belief RevisionNicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez. [doi]
• Automating Reasoning with Standpoint Logic via Nested SequentsTim S. Lyon, Lucía Gómez Álvarez. [doi]
• Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLsFranz Baader, Francesco Kriegel. [doi]
• Projection of Belief in the Presence of Nondeterministic Actions and Fallible SensingJens Claßen, James P. Delgrande. [doi]
• A Gödel Calculus for Linear Temporal LogicJuan P. Aguilera 0001, Martín Diéguez, David Fernández Duque, Brett McLean. [doi]
• Explaining Causal Models with Argumentation: the Case of Bi-variate ReinforcementAntonio Rago 0001, Pietro Baroni, Francesca Toni. [doi]
• Iterated Belief Change, ComputationallyKai Sauerwald, Christoph Beierle. [doi]
• Counting Queries over ELHI⊥ OntologiesMeghyn Bienvenu, Quentin Manière, Michaël Thomazo. [doi]
• Verification and Realizability in Finite-Horizon Multiagent SystemsSenthil Rajasekaran, Moshe Y. Vardi. [doi]
• Unique Characterisability and Learnability of Temporal Instance QueriesMarie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev. [doi]
• Public and Private Affairs in Strategic ReasoningNathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi. [doi]
• Dynamic Deontic Logic for Permitted AnnouncementsXu Li, Dov M. Gabbay, Réka Markovich. [doi]
• A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic ArgumentationVictor Hugo Nascimento Rocha, Fábio Gagliardi Cozman. [doi]
• A Minimal Deductive System for RDFS with Negative StatementsUmberto Straccia, Giovanni Casini. [doi]
• Conservative Extensions for Existential RulesJean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski. [doi]
• A Graph Neural Network Reasoner for Game Description LanguageAlvaro Gunawan, Ji Ruan, Xiaowei Huang 0001. [doi]
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief FusionJonas Karge, Sebastian Rudolph. [doi]
• Learning Generalized Policies without Supervision Using GNNsSimon Ståhlberg, Blai Bonet, Hector Geffner. [doi]
• Hyperintensional Partial Meet ContractionsMarlo Souza, Renata Wassermann. [doi]
• Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDROFederico Sabbatini, Roberta Calegari. [doi]