Table of Contents

• Inputs, Outputs, and Composition in the Logic of Information FlowsHeba Aamer, Bart Bogaerts 0001, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche. 2-11 [doi]
• Reasoning with Contextual Knowledge and Influence DiagramsErman Acar, Rafael Peñaloza. 12-21 [doi]
• Verifying Strategic Abilities of Neural-symbolic Multi-agent SystemsMichael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio. 22-32 [doi]
• Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and ApproximationGianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna. 33-43 [doi]
• Answer Set Programming with Composed Predicate NamesMario Alviano. 44-48 [doi]
• Symbolic Solutions for Symbolic Constraint Satisfaction ProblemsAlexsander Andrade de Melo, Mateus de Oliveira Oliveira. 49-58 [doi]
• Stable and Supported Semantics in Continuous Vector SpacesYaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo 0001. 59-68 [doi]
• An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of StatementsMarcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son. 69-78 [doi]
• Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract ArgumentationRingo Baumann, Gerhard Brewka, Markus Ulbricht 0001. 79-88 [doi]
• A Three-valued Approach to Strategic Abilities under Imperfect InformationFrancesco Belardinelli, Vadim Malvone. 89-98 [doi]
• Ordinal Polymatrix Games with Incomplete InformationNahla Ben Amor, Hélène Fargier, Régis Sabbadin, Meriem Trabelsi. 99-108 [doi]
• Balancing Expressiveness and Inexpressiveness in View DesignMichael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura. 109-118 [doi]
• An Optimization Approach to Robust Goal ObfuscationSara Bernardini, Fabio Fagnani, Santiago Franco. 119-129 [doi]
• Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-CompilationNicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao. 130-140 [doi]
• Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract ArgumentationMeghyn Bienvenu, Camille Bourgaux. 141-151 [doi]
• High-level Programming via Generalized Planning and LTL SynthesisBlai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin. 152-161 [doi]
• Module Checking of Pushdown Multi-agent SystemsLaura Bozzelli, Aniello Murano, Adriano Peron. 162-171 [doi]
• Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief RevisionDavid Buckingham, Daniel Kasenberg, Matthias Scheutz. 172-181 [doi]
• Spatial Reasoning about String Loops and Holes in Temporal ASPPedro Cabalar, Paulo E. Santos. 182-192 [doi]
• A Uniform Treatment of Aggregates and Constraints in Hybrid ASPPedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko. 193-202 [doi]
• Preference-based Inconsistency-Tolerant Query Answering under Existential RulesMarco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. 203-212 [doi]
• Rational Defeasible Belief ChangeGiovanni Casini, Thomas Meyer, Ivan Varzinczak. 213-222 [doi]
• Explanations for Negative Query Answers under Existential RulesIsmail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius. 223-232 [doi]
• Revision by Conditionals: From Hook to ArrowJake Chandler, Richard Booth 0001. 233-242 [doi]
• Non-Monotonic Ontology-based Abstractions of Data ServicesGianluca Cima, Maurizio Lenzerini, Antonella Poggi. 243-252 [doi]
• Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation CalculusJens Claßen, James P. Delgrande. 253-263 [doi]
• Reasoning about Measures of Unmeasurable SetsMarco Console, Matthias Hofer, Leonid Libkin. 264-273 [doi]
• Lightweight Parallel Multi-Agent Epistemic PlanningMartin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey. 274-283 [doi]
• Fine-Grained Complexity of Temporal ProblemsKonrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov. 284-293 [doi]
• Nondeterministic Strategies and their Refinement in Strategy LogicGiuseppe De Giacomo, Bastien Maubert, Aniello Murano. 294-303 [doi]
• Two-Stage Technique for LTLf Synthesis Under LTL AssumptionsGiuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu. 304-314 [doi]
• Strategy Synthesis for Data-Aware Dynamic Systems with Multiple ActorsMassimiliano de Leoni, Paolo Felli, Marco Montali. 315-325 [doi]
• A Preference-Based Approach to Defeasible Deontic InferenceJames P. Delgrande. 326-335 [doi]
• Jokes and Belief RevisionFlorence Dupin de Saint-Cyr, Henri Prade. 336-340 [doi]
• Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFsWolfgang Dvorák, Anna Rapberger, Stefan Woltran. 341-350 [doi]
• Token-based Execution Semantics for Multi-Agent Epistemic PlanningThorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter. 351-360 [doi]
• On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting ApproachRenyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu. 361-370 [doi]
• Containment of Simple Conjunctive Regular Path QueriesDiego Figueira, Adwait Godbole, Shankara Narayanan Krishna, Wim Martens, Matthias Niewerth, Tina Trautner. 371-380 [doi]
• Finite Controllability for Ontology-Mediated Query Answering of CRPQDiego Figueira, Santiago Figueira, Edwin Pin Baque. 381-391 [doi]
• Fixed-Parameter Tractability of Dependency QBF with Structural ParametersRobert Ganian, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider. 392-402 [doi]
• A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering AxiomOlga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev. 403-413 [doi]
• Entity Type Recognition - Dealing with the Diversity of KnowledgeFausto Giunchiglia, Mattia Fumagalli. 414-423 [doi]
• On Finite Entailment of Non-Local Queries in Description LogicsTomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez García, Filip Murlak. 424-433 [doi]
• Datalog Rewritability and Data Complexity of ALCHOIF with Closed PredicatesTomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus. 434-444 [doi]
• Multi-head Guarded Existential Rules Over Fixed SignaturesGeorg Gottlob, Marco Manna, Andreas Pieris. 445-454 [doi]
• Logics of Preference when There Is No BestDavide Grossi, Wiebe van der Hoek, Louwe B. Kuijer. 455-464 [doi]
• Syntax Splitting for Iterated ContractionsJonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle. 465-475 [doi]
• Dynamic AwarenessJoseph Y. Halpern, Evan Piermont. 476-484 [doi]
• Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Markus Hecher. 485-495 [doi]
• Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic ArgumentationAnthony Hunter. 496-505 [doi]
• Plausible Reasoning about EL-Ontologies using Concept InterpolationYazmín Ibáñez García, Víctor Gutiérrez-Basulto, Steven Schockaert. 506-516 [doi]
• Logical Separability of Incomplete Data under OntologiesJean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter. 517-528 [doi]
• On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role ExpressionsJean Christoph Jung, Carsten Lutz, Thomas Zeume. 529-538 [doi]
• SAT-Based ATL Satisfiability CheckingMagdalena Kacprzak, Artur Niewiadomski 0001, Wojciech Penczek. 539-549 [doi]
• Reasoning About Plan Robustness Versus Plan Cost for Partially Informed AgentsSarah Keren, Sara Bernardini, Kofi Kwapong, David C. Parkes. 550-559 [doi]
• Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief BasesGabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka. 560-571 [doi]
• Changing Beliefs about Domain Dynamics in the Situation CalculusToryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque. 572-581 [doi]
• Boolean Role Inclusions in DL-Lite With and Without TimeRoman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. 582-591 [doi]
• Signature-Based Abduction for Expressive Description LogicsPatrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt. 592-602 [doi]
• Computing Cores for Existential Rules with the Standard Chase and ASPMarkus Krötzsch. 603-613 [doi]
• An ExpTime Upper Bound for ALC with IntegersNadia Labai, Magdalena Ortiz, Mantas Simkus. 614-623 [doi]
• A First-Order Logic of Limited Belief Based on Possible WorldsGerhard Lakemeyer, Hector J. Levesque. 624-635 [doi]
• An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkTuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo. 636-646 [doi]
• Argument, I Choose You! Preferences and Ranking Semantics in Abstract ArgumentationJean-Guy Mailly, Julien Rossit. 647-651 [doi]
• On the Reversibility of Actions in PlanningMichael Morak, Lukás Chrpa, Wolfgang Faber 0001, Daniel Fiser. 652-661 [doi]
• Explainable Planning Using Answer Set ProgrammingVan Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh 0001. 662-666 [doi]
• Smallest Explanations and Diagnoses of Rejection in Abstract ArgumentationAndreas Niskanen, Matti Järvisalo. 667-671 [doi]
• Towards a Logic of Meta-AnalysisRafael Peñaloza. 672-676 [doi]
• Bipolar Abstract Argumentation with Dual Attacks and SupportsNico Potyka. 677-686 [doi]
• Choosing What to Believe - New Results in Selective RevisionFillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício D. Luís Reis. 687-691 [doi]
• Designing Participatory Budgeting Mechanisms Grounded in Judgment AggregationSimon Rey, Ulle Endriss, Ronald de Haan. 692-702 [doi]
• Modelling the Polysemy of Spatial Prepositions in Referring ExpressionsAdam Richard-Bollans, Lucía Gómez Álvarez, Anthony G. Cohn. 703-712 [doi]
• Independence and D-separation in Abstract ArgumentationTjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao. 713-722 [doi]
• Concept Contraction in the Description Logic ELTjitze Rienstra, Claudia Schon, Steffen Staab. 723-732 [doi]
• A Semantic Perspective on Omission Abstraction in ASPZeynep Gözen Saribatur, Thomas Eiter. 733-737 [doi]
• Non-Prioritized Iterated Revision: Improvement via Incremental Belief MergingNicolas Schwind, Sébastien Konieczny. 738-747 [doi]
• Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from TextMichael Stewart, Wei Liu 0006. 748-757 [doi]
• Knowledge-Preserving Certain Answers for SQL-like QueriesEtienne Toussaint, Paolo Guagliardo, Leonid Libkin. 758-767 [doi]
• DatalogMTL over the Integer TimelinePrzemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev. 768-777 [doi]
• A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological ArgumentChristoph Benzmüller. 779-789 [doi]
• WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under UncertaintyNikos Katzouris, Alexander Artikis. 790-799 [doi]
• µ-toksia: An Efficient Abstract Argumentation ReasonerAndreas Niskanen, Matti Järvisalo. 800-804 [doi]
• Argumentation as a Framework for Interactive Explanations for RecommendationsAntonio Rago 0001, Oana Cocarascu, Christos Bechlivanidis, Francesca Toni. 805-815 [doi]
• Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's DiseaseZhiwei Zeng, Zhiqi Shen, Benny Toh Hsiang Tan, Jing Jih Chin, Cyril Leung, Yu Wang, Ying Chi, Chunyan Miao. 816-826 [doi]
• On the Approximability of Weighted Model Integration on DNF StructuresRalph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov. 828-837 [doi]
• On Tractable XAI Queries based on Compiled RepresentationsGilles Audemard, Frédéric Koriche, Pierre Marquis. 838-849 [doi]
• Ontology-guided Semantic Composition for Zero-shot LearningJiaoyan Chen, Freddy Lécué, Yuxia Geng, Jeff Z. Pan, Huajun Chen. 850-854 [doi]
• Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning SystemsFabio Aurelio D'Asaro, Matteo Spezialetti, Luca Raggioli, Silvia Rossi. 855-859 [doi]
• Temporal Logic Monitoring Rewards via TransducersGiuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca. 860-870 [doi]
• Neuro-Symbolic Probabilistic Argumentation MachinesRégis Riveret, Son N. Tran, Artur d'Avila Garcez. 871-881 [doi]
• On Tractable Representations of Binary Neural NetworksWeijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi. 882-892 [doi]
• Analyzing Differentiable Fuzzy ImplicationsEmile van Krieken, Erman Acar, Frank van Harmelen. 893-903 [doi]
• Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap AnalysisAgnese Chiatti, Enrico Motta, Enrico Daga. 905-916 [doi]
• Modeling Affordances and Functioning for Personalized Robotic AssistanceAlessandro Umbrico, Gabriella Cortellessa, Andrea Orlandini, Amedeo Cesta. 917-926 [doi]