Table of Contents

• Counterfactual Reasoning via Grounded DistanceCarlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini. 2-11 [doi]
• Revising Boolean Logical Models of Biological Regulatory NetworksFrederico Aleixo, Matthias Knorr 0001, João Leite 0001. 12-22 [doi]
• Diagnosis for Post Concept Drift Decision Trees RepairShaked Almog, Meir Kalech. 23-33 [doi]
• Knowledge-Driven Robot Program Synthesis from Human VR DemonstrationsBenjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jäkel, Michael Beetz. 34-43 [doi]
• From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile GamesDenise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni, Francesco Pacenza. 44-54 [doi]
• Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered PreferencesOfer Arieli, Jesse Heyninck. 55-64 [doi]
• A Singly Exponential Transformation of LTL[X, F] into Pure Past LTLAlessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari. 65-74 [doi]
• Unified Foundations of Team Semantics via SemiringsTimon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema. 75-85 [doi]
• Forgetting Aspects in Assumption-Based ArgumentationMatti Berthold, Anna Rapberger, Markus Ulbricht 0001. 86-96 [doi]
• Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity ConstraintsMeghyn Bienvenu, Camille Bourgaux. 97-106 [doi]
• Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct SemanticsLydia Blümel, Matthias Thimm. 107-116 [doi]
• Default Logic as a Species of Causal ReasoningAlexander Bochman. 117-126 [doi]
• Tractable Explaining of Multivariate Decision TreesClément Carbonnel, Martin C. Cooper, João Marques-Silva 0001. 127-135 [doi]
• On Simple Expectations and Observations of Intelligent Agents: A Complexity StudySourav Chakraborty 0001, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber. 136-145 [doi]
• Streamlining Input/Output Logics with Sequent CalculiAgata Ciabattoni, Dmitry Rozplokhas. 146-155 [doi]
• Property Directed Reachability for Planning RevisitedAva Clifton, Charles Gretton. 156-166 [doi]
• Mathematical Foundations for Joining Only Knowing and Common KnowledgeMarcos Cramer, Samuele Pollaci, Bart Bogaerts 0001. 167-177 [doi]
• Run-Based Semantics for RPQsClaire David, Nadime Francis, Victor Marsault. 178-187 [doi]
• How to Manage a Budget with ATL+Stéphane Demri, Raine Rönnholm. 188-197 [doi]
• Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and ConjecturesPaulius Dilkas, Vaishak Belle. 198-207 [doi]
• Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch RulesDominik Drexler, Jendrik Seipp, Hector Geffner. 208-218 [doi]
• Weighted Merging of Propositional Belief BasesPatricia Everaere, Chouaib Fellah, Sébastien Konieczny, Ramón Pino Pérez. 219-228 [doi]
• A Framework for Combining Entity Resolution and Query Answering in Knowledge BasesRonald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa 0001, Federico Scafoglieri. 229-239 [doi]
• Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic ProgramsJorge Fandinno, Vladimir Lifschitz. 240-251 [doi]
• Credible Models of Belief UpdateEduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind. 252-261 [doi]
• A Family of Decidable Bi-intuitionistic Modal LogicsDavid Fernández Duque, Brett McLean, Lukas Zenger. 262-271 [doi]
• Logic-based Composition of Business Process ModelsValeria Fionda, Antonio Ielo, Francesco Ricca. 272-281 [doi]
• Reasoning about Probability via Continuous FunctionsTommaso Flaminio, Sandro Preto, Sara Ugolini. 282-290 [doi]
• Succinctness and Complexity of ALC with Counting PerceptronsPietro Galliani, Oliver Kutz, Nicolas Troquard. 291-300 [doi]
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-TerminationLukas Gerlach 0002, David Carral. 301-310 [doi]
• Standpoint Linear Temporal LogicNicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon. 311-321 [doi]
• Group Responsibility for Exceeding Risk ThresholdMaksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder. 322-332 [doi]
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass. 333-343 [doi]
• The Impact of Structure in Answer Set Counting: Fighting Cycles and its LimitsMarkus Hecher, Rafael Kiesel. 344-354 [doi]
• Revising Typical Beliefs: One Revision to Rule Them AllJesse Heyninck, Giovanni Casini, Thomas Meyer 0002, Umberto Straccia. 355-364 [doi]
• Learning Interpretable Heuristics for WalkSATYannet Interian, Sara Bernardini. 365-373 [doi]
• Leveraging Large Language Models to Generate Answer Set ProgramsAdam Ishay, Zhun Yang, Joohyung Lee 0002. 374-383 [doi]
• Practical Abstraction for Model Checking of Multi-Agent SystemsWojciech Jamroga, Yan Kim. 384-394 [doi]
• On Training Neurons with Bounded CompilationsLance Kennedy, Issouf Kindo, Arthur Choi. 395-405 [doi]
• Knowledge Compilation and More with SharpSAT-TDRafael Kiesel, Thomas Eiter. 406-416 [doi]
• Definitions and (Uniform) Interpolants in First-Order Modal LogicAgi Kurucz, Frank Wolter, Michael Zakharyaschev. 417-428 [doi]
• Query Rewriting with Disjunctive Existential Rules and MappingsMichel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli. 429-439 [doi]
• Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and ComplexityTuomo Lehtonen, Anna Rapberger, Markus Ulbricht 0001, Johannes Peter Wallner. 440-450 [doi]
• Concerning Measures in a First-order Logic with Actions and Meta-beliefsDaxin Liu 0002, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer. 451-460 [doi]
• Revisiting Inferential Benchmarks for Knowledge Graph CompletionShuwen Liu 0007, Bernardo Cuenca Grau, Ian Horrocks 0001, Egor V. Kostylev. 461-471 [doi]
• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred RepairsThomas Lukasiewicz, Enrico Malizia, Cristian Molinaro. 472-481 [doi]
• Querying Circumscribed Description Logic Knowledge BasesCarsten Lutz, Quentin Manière, Robin Nolte. 482-491 [doi]
• Description Logics with Abstraction and RefinementCarsten Lutz, Lukas Schulze. 492-501 [doi]
• Complex Event Recognition with Allen RelationsPeriklis Mantenoglou, Dimitrios Kelesis, Alexander Artikis. 502-511 [doi]
• Active Disjunctive Constraint AcquisitionGrégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb. 512-520 [doi]
• Weak-Ensconcement for Shielded Base ContractionAlejandro J. Mercado, Daniel A. Grimaldi, Ricardo Oscar Rodríguez. 521-530 [doi]
• Argumentative Reasoning in ASPIC+ under Incomplete InformationDaphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes Peter Wallner, Matti Järvisalo. 531-541 [doi]
• ORLA: Learning Explainable Argumentation ModelsCándido Otero, Dennis Craandijk, Floris Bex. 542-551 [doi]
• A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of EvidenceDaira Pinto Prieto, Ronald de Haan, Aybüke Özgün. 552-561 [doi]
• Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of ExpansionsHenry Prakken. 562-571 [doi]
• Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive SemanticsVít Puncochár. 572-581 [doi]
• Interactive Explanations by Conflict Resolution via Argumentative ExchangesAntonio Rago 0001, Hengzhi Li, Francesca Toni. 582-592 [doi]
• Explainable Clustering with CREAMFederico Sabbatini, Roberta Calegari. 593-603 [doi]
• A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal ReasoningYakoub Salhi, Michael Sioutis. 604-613 [doi]
• Foundations for Projecting Away the Irrelevant in ASP ProgramsZeynep Gözen Saribatur, Stefan Woltran. 614-624 [doi]
• Iteration of Iterated Belief RevisionNicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez. 625-634 [doi]
• Explainable Representations for Relation Prediction in Knowledge GraphsRita Torres Sousa, Sara Silva, Catia Pesquita. 635-646 [doi]
• Learning General Policies with Policy Gradient MethodsSimon Ståhlberg, Blai Bonet, Hector Geffner. 647-657 [doi]
• On the Correspondence Between Monotonic Max-Sum GNNs and DatalogDavid Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev. 658-667 [doi]
• Grounding LTLf Specifications in Image SequencesElena Umili, Roberto Capobianco, Giuseppe De Giacomo. 668-678 [doi]
• Computing All Facts Entailed By An LTL SpecificationPrzemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase. 679-689 [doi]
• A²CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous VehiclesRuolin Wang, Yuejiao Xu, Jie Peng, Jianmin Ji. 690-699 [doi]
• Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy ReasoningMarco Wilhelm. 700-709 [doi]
• General Game Playing With State-Independent CommunicationSean Zammit, Michael Thielscher. 710-719 [doi]
• On Conflict-free Labellings - Realizability, Construction and Patterns of RedundancyRingo Baumann, Anne-Marie Heine. 720-725 [doi]
• Strategic Abilities of Forgetful Agents in Stochastic EnvironmentsFrancesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano. 726-731 [doi]
• Towards Parallelising Extension Construction for Serialisable Semantics in Abstract ArgumentationLars Bengel, Matthias Thimm. 732-736 [doi]
• From Qualitative Choice Logic to Abstract ArgumentationMichael Bernreiter, Matthias König. 737-741 [doi]
• Combining Global and Local Merges in Logic-based Entity ResolutionMeghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez García. 742-746 [doi]
• Finest Syntax Splittings of Ranking Functions and Total Preorders on WorldsJonas Philipp Haldimann, Christoph Beierle. 747-751 [doi]
• Planning with Epistemic PreferencesToryn Q. Klassen, Christian Muise, Sheila A. McIlraith. 752-756 [doi]
• Verification of Semantic Key Point Detection for Aircraft Pose EstimationPanagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio. 757-762 [doi]
• Counterfactual Explanations and Model Multiplicity: a Relational Verification ViewFrancesco Leofante, Elena Botoeva, Vineet Rajani. 763-768 [doi]
• Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential RulesTim S. Lyon, Piotr Ostropolski-Nalewaja. 769-773 [doi]
• Eliminating Redundant Actions from Plans Using Classical PlanningMauricio Salerno, Raquel Fuentetaja 0001, Jendrik Seipp. 774-778 [doi]