Abstract is missing.
- Fitting Description Logic Ontologies to ABox and Query ExamplesMaurice Funk, Marvin Grosser, Carsten Lutz. [doi]
- On Strong and Weak Admissibility in Non-Flat Assumption-Based ArgumentationMatti Berthold, Lydia Blümel, Anna Rapberger. [doi]
- Non-deterministic Action Reversibility: Complexity ResultsJakub Med, Michael Morak, Lukás Chrpa, Wolfgang Faber 0001. [doi]
- Grounding Rule-Based Argumentation Using DatalogMartin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach. [doi]
- Representing Perfect Saturated Cost Partitioning Heuristics in Classical PlanningPaul Höft, David Speck 0001, Jendrik Seipp. [doi]
- A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract ArgumentationLars Bengel, Julian Sander, Matthias Thimm. [doi]
- Guarded Fragments Meet Dynamic Logic: The Story of Regular GuardsBartosz Bednarczyk, Emanuel Kieronski. [doi]
- Categorical Explaining Functors: Ensuring Coherence in Logical ExplanationsStefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri 0001, Fabio Zanasi, Nicolò Navarin. [doi]
- Finite Axiomatizability by Disjunctive Existential RulesMarco Calautti, Marco Console, Andreas Pieris. [doi]
- A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean. [doi]
- Presburger Functional Synthesis: Complexity and Tractable Normal FormsS. Akshay 0001, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche. [doi]
- A Planning Compilation to Reason About Goal Achievement at Planning TimeAlberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso. [doi]
- ASP-Driven Visual Commonsense: A General Framework for Reasoning About Embodied Interaction in the WildJakob Suchan, Mehul Bhatt, Julius Monsen. [doi]
- Efficient Volume Computation for SMT FormulasArijit Shaw, Uddalok Sarkar, Kuldeep S. Meel. [doi]
- Halting Recurrent GNNs and the Graded mu-CalculusJeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema. [doi]
- Model Checking Linear Temporal Logic with Standpoint ModalitiesRajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork. [doi]
- A Logic-Based Framework for Database RepairsNicolas Fröhlich 0001, Arne Meier, Nina Pardal, Jonni Virtema. [doi]
- A Principle-based Framework for Analyzing Dialogue Game-based SemanticsYamil Osvaldo Soto, Andrea Cohen, Cristhian Ariel David Deagustini, Maria Vanina Martinez, Gerardo I. Simari. [doi]
- Logical Expressivity and Explanations for Monotonic GNNs with Scoring FunctionsMatthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau. [doi]
- FastFound: Easing the ASP Bottleneck via Predicate-Decoupled GroundingAlexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran. [doi]
- Sequence Explanations for Acceptance in Abstract ArgumentationLars Bengel, Matthias Thimm. [doi]
- Abstractions of Queries in Ontology-Based Data AccessMichel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli. [doi]
- An Intuitionistic Version of Alternating-Time Temporal LogicLaura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano. [doi]
- On the Complexity and Properties of Preferential Propositional Dependence LogicKai Sauerwald, Arne Meier, Juha Kontinen. [doi]
- About the Multi-Head Linear Restricted Chase TerminationLukas Gerlach 0002, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja. [doi]
- Probabilistic HTN Planning: Formalization and Computational Complexity AnalysisMohammad Yousefi, Johannes Schmalz, Patrik Haslum, Pascal Bercher. [doi]
- Fitting Ontologies and Constraints to Relational StructuresSimon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph. [doi]
- TRACE-CS: A Hybrid Logic-LLM System for Explainable Course SchedulingStylianos Loukas Vasileiou, William Yeoh 0001. [doi]
- Faithful Differentiable Reasoning with Reshuffled Region-based EmbeddingsAleksandar Pavlovic 0002, Emanuel Sallinger, Steven Schockaert. [doi]
- A Framework for Inconsistency-tolerant Reasoning with Sets of ModelsYehia Hatab, Kai Sauerwald, Matthias Thimm. [doi]
- Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ SynthesisDaniel Hausmann 0001, Shufang Zhu 0001, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman. [doi]
- Strategy Logic, Imperfect Information, and HyperpropertiesRaven Beutner, Bernd Finkbeiner. [doi]
- Learning Lifted Action Models from Traces of Incomplete Actions and StatesNiklas Jansen, Jonas Gösgens, Hector Geffner. [doi]
- Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-CompleteAvijeet Ghosh, Sujata Ghosh, François Schwarzentruber. [doi]
- A Tensor-Based Probabilistic Event CalculusEfthimis Tsilionis, Alexander Artikis, Georgios Paliouras. [doi]
- Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition SystemsStefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta. [doi]
- A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement GraphsAntonio Rago 0001, Stylianos Loukas Vasileiou, Son Tran, Francesca Toni, William Yeoh 0001. [doi]
- Counterfactual Scenarios for Automated PlanningNicola Gigante, Francesco Leofante, Andrea Micheli. [doi]
- Tractable Responsibility Measures for Ontology-Mediated Query AnsweringMeghyn Bienvenu, Diego Figueira, Pierre Lafourcade. [doi]
- Counting Solutions Under Cardinality Constraints: Structure Counts in CountingMax Bannach, Markus Hecher. [doi]
- Pruning with Belief Traps in Multi-agent Epistemic PlanningBiqing Fang, Fangzhen Lin. [doi]
- Minimal Model Reasoning in Description Logics: Don't Try This at Home!Federica Di Stefano 0001, Quentin Manière, Magdalena Ortiz 0001, Mantas Simkus. [doi]
- Automated Planning with Ontologies Under Coherence Update SemanticsStefan Borgwardt, Duy Nhu, Gabriele Röger. [doi]
- Interactive Exploration of Plan SpacesDaniel Gnad 0001, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck 0001, Johannes Klaus Fichte. [doi]
- Complexity of Abduction in Łukasiewicz LogicKatsumi Inoue, Daniil Kozhemiachenko. [doi]
- Probabilistic Active Goal RecognitionChenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Mor Vered, Buser Say. [doi]
- Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality CriteriaZhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez García. [doi]
- Solving Unification in the Description Logic FL_bottomBarbara Morawska 0001, Dariusz Marzec. [doi]
- Context-Based Belief RevisionNicolas Schwind. [doi]
- Pushing the Envelope in Numeric Pattern PlanningMatteo Cardellini, Enrico Giunchiglia. [doi]
- An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured ArgumentationJonathan Ben-Naim, Victor David, Anthony Hunter. [doi]
- Boolean Nearest Neighbor Language in the Knowledge Compilation MapOndrej Cepek, Jelena Glisic. [doi]
- Reasoning About Actual Causality in Answer Set ProgrammingDaniel Özcan, Dalal Alrajeh, Robert Craven. [doi]
- On the Complexity of Global Necessary Reasons to Explain ClassificationMarco Calautti, Enrico Malizia, Cristian Molinaro. [doi]
- Depth-Bounded Epistemic PlanningThomas Bolander, Alessandro Burigana, Marco Montali. [doi]
- Belief Revision in a Probabilistic SettingJames P. Delgrande, Gerhard Lakemeyer, Maurice Pagnucco, Joshua Sack. [doi]
- An Embarrassingly Parallel Model CounterZhenghang Xu, Minghao Yin, Jean-Marie Lagniez. [doi]
- Compactness and Preservation in Logical Argumentation FrameworksOfer Arieli, Christian Straßer. [doi]
- An Epistemic Theory of Deductive ArgumentsEmiliano Lorini. [doi]
- Explanations for Unrealizability of Infinite-State Safety ShieldsAndoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez 0001. [doi]
- A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set ProgrammingDamiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi. [doi]
- Two-Variable Logic for Hierarchically Partitioned and Ordered DataOskar Fiuk, Emanuel Kieronski, Vincent Michielini. [doi]
- On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo TheoriesStéphane Demri, Raul Fervari. [doi]
- Reasoning in Defeasible Description Logics with System W and Lexicographic InferenceGiovanni Casini, Jonas Haldimann, Thomas Meyer 0002. [doi]
- Axiomatic Characterisations of Argumentation SemanticsLeila Amgoud. [doi]
- Extending Abstract Argumentation Frameworks with Knowledge BasesGianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Francesco Parisi, Irina Trubitsyna. [doi]
- Pushdown Reward Machines for Reinforcement LearningGiovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan 0001, Sheila A. McIlraith. [doi]
- Cost-Optimal Delete-Free Classical Planning via Maximum SatisfiabilityMasood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Järvisalo. [doi]
- Model Checker for Recursive AggregatesMario Alviano, Carmine Dodaro, Salvatore Fiorentino. [doi]
- How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How LogicsPablo F. Castro, Pedro R. D'Argenio, Raul Fervari. [doi]
- Reasoning in Assumption-Based Argumentation via SATAndreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Järvisalo. [doi]
- Putting Perspective into OWL [Sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order LogicLucía Gómez Álvarez, Sebastian Rudolph. [doi]
- Repairing General Game DescriptionsYifan He 0008, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher. [doi]
- Learning General Policies from ExamplesBlai Bonet, Hector Geffner. [doi]
- An Analysis of the Role of Syntax in Inductive InferenceJesse Heyninck, Richard Booth 0001, Thomas Meyer 0002, Lars-Phillip Spiegel. [doi]
- Expressive Description Logics with Rich Yet Affordable Numeric ConstraintsFederica Di Stefano 0001, Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus. [doi]
- Counterexample-Guided Abstraction Refinement for Assumption-based ArgumentationJean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly. [doi]
- LTL Synthesis Under Multi-Agent Environment AssumptionsBenjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin. [doi]
- Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set ProgrammingOlcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm. [doi]
- An Information-Flow Perspective on Explainability Requirements: Specification and VerificationBernd Finkbeiner, Hadar Frenkel, Julian Siber. [doi]
- Domain-Independent Instance Generation for Classical PlanningClaudia Grundke, Malte Helmert, Gabriele Röger. [doi]
- Effective AGM Belief Contraction: A Journey Beyond the Finitary RealmDominik Klumpp, Jandson S. Ribeiro. [doi]
- Can LLMs Solve ASP Problems? Insights from a Benchmarking StudyLin Ren, Guohui Xiao 0001, Guilin Qi, Yishuai Geng, Haohan Xue. [doi]
- Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and AlgorithmsDamiano Azzolini, Markus Hecher. [doi]
- On Gradual Semantics for Assumption-Based ArgumentationAnna Rapberger, Fabrizio Russo 0002, Antonio Rago 0001, Francesca Toni. [doi]