Table of Contents

• Extracting Verified Action Theories from Informal Specifications via Explanation-Guided RefinementStylianos Loukas Vasileiou, Minh Nguyen, Tran Cao Son, Huiping Cao, Enrico Pontelli. [doi]
• Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into DatalogMathijs van Noort, Przemyslaw Andrzej Walega. [doi]
• Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal AbstractionChang Lu 0016, Renate A. Schmidt, Yizheng Zhao. [doi]
• SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo BitvectorsAndoni Rodríguez, César Sánchez 0001. [doi]
• SAT-based ASP Solving and Optimization via a General Transitive Closure FrameworkMasood Feyzbakhsh Rankooh, Matti Järvisalo. [doi]
• Why(-Not)-Provenance for Datalog with NegationBart Bogaerts 0001, Marco Calautti, Andreas Pieris, Samuele Pollaci, Robbe Van den Eede. [doi]
• Static Analysis of Recursive SHACLAnouk Michelle Oudshoorn, Magdalena Ortiz 0001, Mantas Simkus. [doi]
• Resolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity ClassificationKonrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov, Jorke M. de Vlas. [doi]
• On Sufficient Conditions for Consistency Checking in CP-theory PreferencesErik Rauer, Samik Basu 0001. [doi]
• Large Language Models as Nondeterministic Causal ModelsSander Beckers. [doi]
• A Probabilistic Framework for Hierarchical Goal RecognitionChenyuan Zhang, Katherine Ip, Hamid Rezatofighi, Buser Say, Mor Vered. [doi]
• Revealed Epistemic TrustXu Li 0037, Leon van der Torre, Liuwen Yu. [doi]
• Semantic Foundations of Neuro-Symbolic Multi-Agent SystemsJulian Gutierrez 0001. [doi]
• Reactive Synthesis for Golog Specifications in the Propositional Situation CalculusGiuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli, Gianmarco Parretti. [doi]
• Probabilistic Abduction in a Fuzzy Logic FrameworkTommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko. [doi]
• Neuro-Symbolic Causal Boosting: A Framework for Interpretable Attribution of Business FluctuationsYonghe Zhao, Yuezhu Wang, Chao Ma, Huiyan Sun. [doi]
• Symbolic Knowledge Transfer for Sample-Efficient Deep Reinforcement LearningCeleste Veronese, Alessandro Farinelli, Daniele Meli. [doi]
• Safely Decomposing Conditional Belief Bases Into c-LEG NetworksGabriele Kern-Isberner, Alexander Hahn 0001, Lars-Phillip Spiegel, Marco Wilhelm, Christoph Beierle. [doi]
• A Logic of Limited Belief with Introspection Based on Possible WorldsGerhard Lakemeyer, Hector J. Levesque. [doi]
• Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted BeforeMatthias Knorr 0001, Zeynep G. Saribatur, Ricardo Gonçalves 0001. [doi]
• Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their RelationshipsJonathan Ben-Naim, Victor David, Anthony Hunter. [doi]
• From Next Token Prediction to (STRIPS) World ModelsCarlos Núñez-Molina, Vicenç Gómez, Hector Geffner. [doi]
• Generating Explainable Counterfactual Policies through Temporal Logic QueriesArnaud Lequen, Clément Legrand-Lixon, Léo Saulières. [doi]
• Complexity of Logics with Semiring SemanticsTimon Barlag, Nicolas Fröhlich 0001, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker. [doi]
• Learning Numeric Planning Domain Models From Positive ObservationsOmar Watted, Argaman Mordoch, Roni Stern. [doi]
• X-ABALearn: Argumentative Learning with Semantics à la CarteEmanuele De Angelis, Maurizio Proietti, Francesca Toni. [doi]
• Explaining Classification Through Global Sufficient Reasons and its ComplexityMarco Calautti, Enrico Malizia, Cristian Molinaro. [doi]
• Tenability and Weak Semantics: Modeling Non-uniform DefenseUri Andrews, Luca San Mauro, John Spoerl. [doi]
• I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent SystemsRustam Galimullin, Hermine Grosinger, Munyque Mittelmann. [doi]
• Splitting Assumption-Based Argumentation FrameworksGiovanni Buraglio, Wolfgang Dvorák, Stefan Woltran. [doi]
• A Study of Belief Revision Postulates in Multi-Agent SystemsMichael Thielscher, Tran Cao Son. [doi]
• BoxLitE: A Faithful Knowledge Base Embedding Based on Convex OptimizationBruno F. Lourenço, Hesham Morgan, Ana Ozaki, Aleksandar Pavlovic 0002, Emanuel Sallinger. [doi]
• Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model CheckingRustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano. [doi]
• Synthesis Foundations for Online LTLf Goal ManagementGiuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi. [doi]
• Suspending Judgement: Belief Contraction in Dynamic Epistemic LogicAlexandru Baltag, Virginie Fiutek, Sonja Smets. [doi]
• Learning Lifted Action Models from Traces with Minimal Information About Actions and StatesJonas Gösgens, Niklas Jansen, Hector Geffner. [doi]
• Representation Theorems for Cumulative Propositional Dependence LogicsJuha Kontinen, Arne Meier, Kai Sauerwald. [doi]
• The Polynomial Counting Capabilities of Message Passing Neural NetworksMarco Sälzer, Pascal Bergsträßer, Anthony W. Lin. [doi]
• Hybrid Models for Natural Language Reasoning: The Case of Syllogistic LogicManuel Vargas Guzmán 0001, Jakub Szymanik, Maciej Malicki. [doi]
• Precise and Efficient Model-Agnostic ExplanationsJairo A. Lefebre-Lobaina, Maria Vanina Martinez, Joao Marques-Silva. [doi]
• A Rectification-Based Approach for Distilling Boosted Trees into Decision TreesGilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski. [doi]
• Clausal Deletion Backdoors for QBF: a Parameterized Complexity ApproachLeif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki. [doi]
• Efficient Incremental #SAT via Cross-Instance Knowledge ReuseUriya Bartal, Dror Fried, Jean-Marie Lagniez. [doi]
• Specifying Agent Strategy Spaces via LTL SynthesisBenjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin. [doi]
• Probabilistic Reasoning within Answer Set Programming with QuantifiersDamiano Azzolini, Giuseppe Mazzotta, Francesco Ricca. [doi]
• Unifying Approach to Uniform Expressivity of Graph Neural NetworksHuan Luo, Jonni Virtema. [doi]
• A Map-Summarize Framework for Answer Set VerbalizationMario Alviano, Matteo Capalbo, Sebastiano A. Piccolo. [doi]
• Defeasible Conditional Obligation in a Two-tiered Preference-based SemanticsXavier Parent 0001. [doi]
• Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal LogicDaniil Kozhemiachenko, Igor Sedlár. [doi]
• The Chase in Lean - Crafting a Formal Library for Existential Rule ResearchLukas Gerlach 0002. [doi]
• Time Robustness for Point-Based Semantics of Metric Interval Temporal LogicSimone Silvetti, Ivan Compagnucci, Francesca Cairoli, Catia Trubiani, Laura Nenzi. [doi]
• Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite ModelsMarvin Grosser, Carsten Lutz. [doi]
• Revisiting Ability-Based BisimulationCarlos Areces, Raul Fervari, Antonio Mondejar. [doi]
• Almost Certain Query Answering over Incomplete Relational and Graph DataHeng Liu, Leonid Libkin, Eugenia Ternovska. [doi]
• Normative Narrator: Guiding and Explaining Reinforcement Learning AgentsEmery A. Neufeld, Kees van Berkel 0002. [doi]
• Inferring High-Level Events from Timestamped Data: Complexity and Medical ApplicationsYvon K. Awuklu, Meghyn Bienvenu, Katsumi Inoue, Vianney Jouhet, Fleur Mougin. [doi]
• DeepEL: Deep Learning and Formal Description Logic ReasoningAlessandro Longato, Ignacio Huitzil, Rafael Peñaloza. [doi]
• Evaluating LLM-Driven Summarisation of Parliamentary Debates with Computational ArgumentationEoghan Cunningham, James P. Cross, Derek Greene, Antonio Rago 0001. [doi]
• ABD: Default-Exception Abduction in Finite First-Order WorldsSerafim Batzoglou. [doi]
• Verifying Quantized GNNs With Readout Is Decidable But Highly IntractableArtem Chernobrovkin, Marco Sälzer, François Schwarzentruber, Nicolas Troquard. [doi]
• A Distributed Framework for Compiling and Reasoning with d-DNNFZhenghang Xu, Minghao Yin, Jianan Wang, Jean-Marie Lagniez. [doi]
• A Normal Form for Rules Containing Arithmetic OperationsJorge Fandinno, Yuliya Lierler, Vladimir Lifschitz. [doi]
• Compiling Defeasible Inference: A Dynamic Approach To System ZLuke Slater, Thomas Meyer 0002, Jesse Heyninck. [doi]
• Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation FrameworkSheng Wei 0008, Yulin Chen, Beishui Liao. [doi]
• Argumentation for Explainable and Globally Contestable Decision Support with LLMsAdam Dejl, Matthew Williams 0001, Francesca Toni. [doi]
• Truth-Tracking by Iterated Belief ChangeNicolas Schwind, Patricia Everaere, Sébastien Konieczny. [doi]
• Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed SetsSergei Obiedkov, Baris Sertkaya. [doi]
• VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning WorkflowsTeodoro Baldazzi, Luigi Bellomarini, Andrea Coletta, Michela Iezzi, Carsten Maple, Alessandro Pesare, Emanuel Sallinger. [doi]
• Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic LearningAkihiro Takemura, Katsumi Inoue, Masaaki Nishino. [doi]
• Splitting Argumentation Frameworks with Collective Attacks and SupportsMatti Berthold, Lydia Blümel, Giovanni Buraglio, Anna Rapberger. [doi]
• Learnable Multi-Attribute Gradual Semantics for Predicting Persuasion in Argumentative DebatesNino Pireaud, Victor David, Anthony Hunter, Pierre Monnin, Elena Cabrio. [doi]
• Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic GamesAri Conati, Andreas Niskanen, Ronald de Haan, Matti Järvisalo. [doi]
• Over All, PDDL Semantics is Simultaneously Simple and Hard to Get RightNicola Gigante, Andrea Micheli, Enrico Scala, Alessandro Valentini 0001. [doi]
• ALM-ASP: A Functional Agentic Architecture for Answer Set ProgrammingLuis Angel Rodriguez Reiners, Alice Tarzariol, Mario Alviano, Manuel A. Borroto Santana, Konstantin Schekotihin. [doi]
• SRIP: A SAT-based System for Independent Set ReconfigurationTakehide Soh, Akifumi Kuwahara, Mutsunori Banbara, Naoyuki Tamura, Yasuaki Kobayashi, Yuta Nozaki, Takehiro Ito. [doi]
• But Not Because You Said So! Implicitly Accepting Information with Abductive Belief-Base ChangeMoritz Bayerkuhnlein, Özgür Lütfü Özçep, Diedrich Wolter. [doi]
• Identifying and Explaining (Non-)Equivalence of First-Order Logic FormulasFabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély, Lukas Pradel. [doi]
• Using ASP(Q) to Handle Inconsistent Prioritized DataMeghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta. [doi]
• Gradient-Based Optimization on Gödel Logic as Discrete Local SearchAlessandro Daniele, Emile van Krieken. [doi]
• From Tensor Networks to Tractable Circuits, and BackArend-Jan Quist, Marc Farreras Bartra, Alexis de Colnet, John van de Wetering, Alfons Laarman. [doi]
• Computational Complexity in Timed Argumentation FrameworksJean-Guy Mailly, Frédéric Maris, Johannes P. Wallner. [doi]
• Scalable Learning of Challenging Normative Behaviours with Deep RLEmery A. Neufeld, Thorsten Engesser, Martin Tappler. [doi]
• On-the-fly LTLf Synthesis under Partial ObservabilityNadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu 0001. [doi]
• Counting Complexity of ASPMax Bannach, Johannes Klaus Fichte, Johanna Groven, Markus Hecher. [doi]
• Expressiveness of Epistemic Spaces for Iterated Belief Change OperatorsNicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez. [doi]
• Beyond Consistency: A Closer Look at Free FormulasOfer Arieli, Badran Raddaoui, Christian Straßer. [doi]
• Reasoning about Welfare-Affecting Capabilities in Concurrent GamesYinfeng Li, Emiliano Lorini. [doi]
• RegD: Hierarchical Embeddings via Dissimilarity between Arbitrary Euclidean RegionsHui Yang, Jiaoyan Chen 0001. [doi]
• Optimal Dictionary-Based Compression with Answer Set Programming: Encodings and Empirical AnalysisMutsunori Banbara, Hideo Bannai, Takashi Horiyama, Dominik Köppl, Takuya Mieno, Hidetomo Nabeshima. [doi]
• ABox Abduction for Inconsistent Knowledge Bases under Repair SemanticsAnselm Haak, Patrick Koopmann, Yasir Mahmood 0002, Anni-Yasmin Turhan. [doi]
• Belief Function Propagation in Quantitative Bipolar Argumentation FrameworksJordan Thieyre, Aurélie Beynier, Sébastien Destercke, Nicolas Maudet, Srdjan Vesic. [doi]
• SC²: Safe Control via Shielding for CPCTL SpecificationsEdwin Hamel-De le Court, Gaspard Ohlmann, Francesco Belardinelli. [doi]
• Contestability in Edge-Weighted Quantitative Bipolar Argumentation FrameworksXiang Yin 0007, Nico Potyka, Antonio Rago 0001, Timotheus Kampik, Francesca Toni. [doi]
• Optimal In-Station Train Dispatching via Symbolic Pattern PlanningMatteo Cardellini, Enrico Giunchiglia, Davide Anguita, Carmelo Lofiego, Luca Oneto, Pietro Ratto. [doi]
• Voting Compilation RevisitedYann Chevaleyre, Jérôme Lang, Nicolas Maudet. [doi]
• Recurrent Graph Neural Networks and Arithmetic CircuitsTimon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer. [doi]
• Knowledge Compilation for Quantification in Alternating AutomataS. Akshay 0001, Alfredo Cantarella, Supratik Chakraborty, Bernd Finkbeiner, Niklas Metzger 0001. [doi]
• Common Foundations for Recursive Shape LanguagesShqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk. [doi]
• How Hard is it to Decide if a Fact is Relevant to a Query?Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade. [doi]
• BAss: Symbolic Reasoning in Abstract Dialectical FrameworksSamuel Pastva, Van-Giang Trinh. [doi]
• Interval Orders, Biorders and Credibility-limited Belief RevisionRichard Booth 0001, Ivan Varzinczak. [doi]
• A Simple Baseline for Inductive Knowledge Base CompletionChristian Meilicke, Rainer Gemulla, Julie Naegelen, Heiner Stuckenschmidt. [doi]
• Cops Only Need Factual Knowledge to Catch RobbersDazhu Li, Sujata Ghosh. [doi]
• Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic IntegrationDavide Bizzaro, Alessandro Daniele. [doi]
• Model-Agnostic Explanations by ConsensusCarlos Mencía, Ramón Béjar, Raúl Mencía, João Marques-Silva 0001. [doi]
• How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural NetworksStan P. Hauke, Przemyslaw Andrzej Walega. [doi]
• Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet AgainWolfgang Dvorák, Zeynep G. Saribatur, Stefan Woltran. [doi]
• AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety SpecificationsMatías Brizzio, Andoni Rodríguez, César Sánchez 0001, Renzo Degiovanni. [doi]
• Efficient Temporal Datalog Materialisation for Composite Event RecognitionPeriklis Mantenoglou. [doi]
• Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical ArgumentationKees van Berkel 0002, Andrea Sabatini. [doi]
• Partially Finite Model Reasoning in Description LogicsTomasz Gogacz, Filip Murlak, Marcin Przybylko, Alexandra Rogova, Michal Skrzypczak. [doi]