Abstract is missing.
- Blending Grounding and Compilation for Efficient ASP SolvingCarmine Dodaro, Giuseppe Mazzotta, Francesco Ricca. [doi]
- Action Language mA* with Higher-Order Action ObservabilityDavid Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano. [doi]
- Navigating and Querying Answer Sets: How Hard Is It Really and Why?Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte. [doi]
- Explaining Reasoning Results for OWL Ontologies with EveeChristian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, Ida S. R. Siahaan. [doi]
- On Abstracting over the Irrelevant in Answer Set ProgrammingZeynep G. Saribatur, Matthias Knorr 0001, Ricardo Gonçalves 0001, João Leite 0001. [doi]
- On Verifying and Generating Robust Plans for Planning Tasks with Exogenous EventsLukás Chrpa, Erez Karpas. [doi]
- A Uniform Language to Explain Decision TreesMarcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux. [doi]
- Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth KernelJandson S. Ribeiro. [doi]
- Reasoning in SHIQ with Axiom- and Concept-Level Standpoint ModalitiesLucía Gómez Álvarez, Sebastian Rudolph. [doi]
- ASPEN: ASP-Based System for Collective Entity ResolutionZhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez García. [doi]
- Monotone Rewritability and the Analysis of Queries, Views, and RulesMichael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja. [doi]
- Optimisation and Approximation in Abstract Argumentation: The Case of AdmissibilityKenneth Skiba, Matthias Thimm. [doi]
- Probabilistic Synthesis and Verification for LTL on Finite TracesBenjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger. [doi]
- Consistent Query Answering over SHACL ConstraintsShqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler. [doi]
- Weak Admissibility for ABA via Abstract Set-AttacksLydia Blümel, Matthias König 0002, Markus Ulbricht 0001. [doi]
- Qiana: A First-Order Formalism to Quantify over Contexts and FormulasSimon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek. [doi]
- Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial ModelsJean-Marie Lagniez, Emmanuel Lonca. [doi]
- Equilibrium Description Logics: Results on Complexity and Relations to CircumscriptionFederica Di Stefano 0001, Mantas Simkus. [doi]
- Knowledge Base Embeddings: Semantics and Theoretical PropertiesCamille Bourgaux, Ricardo Guimarães 0001, Raoul Koudijs, Victor Lacerda, Ana Ozaki. [doi]
- Weighted Merging Operators: Product, Utility-based Operators and EgalitarianismPatricia Everaere, Sébastien Konieczny, Ramón Pino Pérez. [doi]
- Lost in the Crowd: k-unmatchability in Anonymized Knowledge GraphsPiero Andrea Bonatti, Francesco Magliocca, Luigi Sauro. [doi]
- Explaining Image ClassifiersHana Chockler, Joseph Y. Halpern. [doi]
- Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties)Nico Potyka, Richard Booth 0001. [doi]
- Distance-Restricted Explanations: Theoretical Underpinnings & Efficient ImplementationYacine Izza, Xuanxiang Huang, António Morgado 0001, Jordi Planes, Alexey Ignatiev, João Marques-Silva 0001. [doi]
- CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation FrameworksXiang Yin 0007, Nico Potyka, Francesca Toni. [doi]
- Repairing Assumption-Based Argumentation FrameworksAnna Rapberger, Markus Ulbricht 0001. [doi]
- Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-RepresentationsChristoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner. [doi]
- Contractions Based on Optimal RepairsFranz Baader, Renata Wassermann. [doi]
- Nemo: Your Friendly and Versatile Rule Reasoning ToolkitAlex Ivliev, Lukas Gerlach 0002, Simon Meusel, Jakob Steinberg, Markus Krötzsch. [doi]
- Shapley Value Computation in Ontology-Mediated Query AnsweringMeghyn Bienvenu, Diego Figueira, Pierre Lafourcade. [doi]
- Dialectical Reconciliation via Structured Argumentative DialoguesStylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh 0001, Tran Cao Son, Francesca Toni. [doi]
- Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive SynthesisBenjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger. [doi]
- Learning to Ground Existentially Quantified GoalsMartin Funkquist, Simon Ståhlberg, Hector Geffner. [doi]
- Belief Change on Rational RankingsNerio Borges, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind. [doi]
- Automated Reasoning in Systems Biology: A Necessity for Precision MedicinePedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz. [doi]
- ASP Chef: Draw and ExpandMario Alviano, Luis Angel Rodriguez Reiners. [doi]
- Preference-Based Abstract Argumentation for Case-Based ReasoningAdam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matthew Williams 0001, Francesca Toni. [doi]
- Learning Robust Reward Machines from Noisy LabelsRoko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti 0001, Alessandra Russo. [doi]
- Logical Distillation of Graph Neural NetworksAlexander Pluska, Pascal Welke, Thomas Gärtner 0001, Sagar Malhotra. [doi]
- On the Expressivity of Recurrent Neural Cascades with IdentityNadezda Alexandrovna Knorozova, Alessandro Ronca. [doi]
- SHACL Validation under the Well-founded SemanticsCem Okulmus, Mantas Simkus. [doi]
- A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal LogicDavid Fernández Duque, Brett McLean, Lukas Zenger. [doi]
- Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFsMatti Berthold, Anna Rapberger, Markus Ulbricht 0001. [doi]
- Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic ImagingTommaso Flaminio, Lluís Godo, Giuliano Rosella. [doi]
- Abductive Reasoning in a Paraconsistent FrameworkMeghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko. [doi]
- Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set ProgrammingIrumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. [doi]
- Bridging Max Graph Neural Networks and Datalog with NegationDavid J. Tena Cucala, Bernardo Cuenca Grau. [doi]
- Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular ExpressionsDiego Figueira, S. Krishna 0004, Om Swostik Mishra, Anantha Padmanabha. [doi]
- Action Model Learning with GuaranteesDiego Aineto, Enrico Scala. [doi]
- Incentive Design for Rational AgentsDavid Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge. [doi]
- A Representation Theorem for Causal Decision MakingJoseph Y. Halpern, Evan Piermont. [doi]
- Verification of General Games with Imperfect Information Using Strategy LogicYifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher. [doi]
- Extending Description Logics with Generic Concepts - the Tale of Two SemanticsJoshua Hirschbrunn, Yevgeny Kazakov. [doi]
- dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and ReasoningRenato Lui Geh, Jonas Gonçalves, Igor Cataneo Silveira, Denis Deratani Mauá, Fábio Gagliardi Cozman. [doi]
- MTLearn: Extracting Temporal Rules Using Datalog Rule LearnersDingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau. [doi]
- Deontic Reasoning Based on Inconsistency MeasuresOfer Arieli, Kees van Berkel 0002, Badran Raddaoui, Christian Straßer. [doi]
- Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and ComputationGianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna. [doi]
- Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to BeatJan Tóth, Ondrej Kuzelka. [doi]
- Queries With Exact Truth Values in Paraconsistent Description LogicsMeghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko. [doi]
- Expressive Power of Definite Descriptions in Modal LogicsPrzemyslaw Andrzej Walega. [doi]
- Cost-Based Semantics for Querying Inconsistent Weighted Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, Robin Jean. [doi]
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity RollercoasterCarsten Lutz, Quentin Manière. [doi]
- Advancing Interactive Explainable AI via Belief Change TheoryAntonio Rago 0001, Maria Vanina Martinez. [doi]
- Planning Domain Model Acquisition from State Traces without Action ParametersTomás Balyo, Martin Suda 0003, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood. [doi]
- From Acceptance to Rejection in Abstract ArgumentationAnne-Marie Heine, Markus Ulbricht 0001. [doi]
- Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty LayersGabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle. [doi]
- Symmetries and Expressive Requirements for Learning General PoliciesDominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner. [doi]
- Abstraction in Assumption-based ArgumentationIosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner. [doi]
- The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential RulesPiotr Ostropolski-Nalewaja, Sebastian Rudolph. [doi]
- Explaining Decisions in ML Models: A Parameterized Complexity AnalysisSebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider. [doi]
- Axiomatization of Approximate ExclusionMatilda Häggblom. [doi]
- Argumentative Causal DiscoveryFabrizio Russo 0002, Anna Rapberger, Francesca Toni. [doi]
- LLASP: Fine-tuning Large Language Models for Answer Set ProgrammingErica Coppolillo, Francesco Calimeri, Giuseppe Manco 0001, Simona Perri, Francesco Ricca. [doi]
- ASP-QRAT: A Conditionally Optimal Dual Proof System for ASPLeroy Chew, Alexis de Colnet, Stefan Szeider. [doi]
- Strongly Analytic Calculi for KLM Logics with SMT-Based ProverAgata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas. [doi]
- Model Counting in the WildArijit Shaw, Kuldeep S. Meel. [doi]
- Heuristic Strategies for Accelerating Multi-Agent Epistemic PlanningBiqing Fang, Fangzhen Lin. [doi]
- Collective Satisfaction Semantics for Opinion Based ArgumentationJuliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic. [doi]
- Non-monotone Fixpoint Theory Based on the Structure of Weak BilatticesAngelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis. [doi]
- LAD-based Feature Selection for Optimal Decision Trees and Other ClassifiersDavid Ing, Saïd Jabbour, Lakhdar Sais, Fabien Delorme. [doi]
- Description Logics with Abstraction and Refinement: From ALC to ELCarsten Lutz, Lukas Schulze. [doi]
- Ontology-Based Query Answering over Datalog-Expressible Rule Sets is UndecidableDavid Carral, Lucas Larroque, Michaël Thomazo. [doi]
- Operator-Based Semantics for Choice Programs: Is Choosing Losing?Jesse Heyninck. [doi]
- Contestable AI Needs Computational ArgumentationFrancesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago 0001, Anna Rapberger, Fabrizio Russo 0002, Xiang Yin 0007, Dekai Zhang, Francesca Toni. [doi]
- Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation ApproachAndrei Popescu 0005, Johannes Peter Wallner. [doi]
- Relational Graph Convolutional Networks Do Not Learn Sound RulesMatthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks 0001. [doi]
- Non-Rigid Designators in Modal and Temporal Free Description LogicsAlessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter. [doi]
- The Realizability of Revision and Contraction Operators in Epistemic SpacesKai Sauerwald, Matthias Thimm. [doi]
- Contracted Temporal Equilibrium LogicPedro Cabalar, Thomas Eiter, Davide Soldà. [doi]
- Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+Tuomo Lehtonen, Daphne Odekerken, Johannes Peter Wallner, Matti Järvisalo. [doi]
- Unique Characterisability and Learnability of Temporal Queries Mediated by an OntologyJean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]