Answer Set Programming

Ask about this topic

Momentum

0 papers in the last four weeks, with none the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 29

All topics
CardsList

  1. Distilling Answer Set Programming Theories from Large Language Models

    Jul 30, 2026Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-CondreiAnswer Set ProgrammingNeuro-Symbolic Framework

    ExtensityAI, Vienna, Austria

  2. Explainable Belief Harmonization under Dynamic Epistemic Partitions

    Jul 23, 2026Adam Kostka, Jarosław A. ChudziakEpistemic State ReplicationEpistemic Integrity

    Warsaw University of Technology · Warsaw University of Technology, Warsaw, Poland

  3. Explainability Framework for Policy-Aware Autonomous Agents

    Jul 23, 2026Heather Merhout, Daniela InclezanAnswer Set Programming

    Miami University · Miami University Oxford, Ohio, United States

  4. Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

    Jul 23, 2026Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3Answer Set ProgrammingInequality Constraints

    University of A Corunna, Spain · University of A Coruña, Spain · University of Nebraska at Omaha, USA +3

  5. Declarative Problem Solving in UAM Strategic Deconfliction

    Jul 23, 2026Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi +1Multi-UavAnswer Set Programming

    DMMM, Polytechnic University of Bari, Bari, Italy · DMMM, Polytechnic University of Bari · ISTC-CNR, Rome, Italy +3

  6. Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models

    Jul 9, 2026Jakob Suchan, Julius Monsen, Salim Baloch +1Answer Set ProgrammingNeuro-Symbolic Framework

    Constructor University Bremen, Bremen, Germany · CoDesign Lab > Cognitive Vision · Örebro University, Örebro, Sweden

  7. Applying Answer Set Programming with Fuzzy Membership Functions: a Case Study

    Jul 3, 2026Luca Ferragina, Ilenia Galati, Lorena Gullone +1Answer Set ProgrammingFuzzy

    DIMES Dept., University of Calabria, 87036 Rende (CS), Italy.

  8. Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation

    Jun 24, 2026Julius Monsen, Jakob Suchan, Mehul Bhatt +1Robust TrajectorySingle Trajectory

    Örebro University, Örebro, Sweden · CoDesign Lab > Cognitive Vision · Constructor University Bremen, Bremen, Germany

  9. Some Results about the Expressivity of Preference-Incomplete Structured Argumentation Frameworks

    Jun 22, 2026Antonio Yuste-GinelArgumentation FrameworksAnswer Set Programming

    University of M´alaga

  10. Joint Air Traffic Flow and Capacity Management via Answer Set Programming

    Jun 22, 2026Alexander Beiser, Markus Hecher, Nysret Musliu +1Air Traffic ControlMixed-Integer Programming

    TU Wien, Vienna, Austria · University of Potsdam, Germany & CNRS, France

  11. A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning

    Jun 3, 2026Huanyu Yang, Yangfan Wu, Jianmin JiComplianceSocial Norms

    School of Computer Science and Technology, University of Science and Technology of China (USTC), Hefei, Anhui, China · Department of Computer Science and Engineering, The Hong Kong University of Science and Technology (HKUST), Hong Kong SAR, China

  12. Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering

    Jun 2, 2026Thomas Eiter, Nelson Higuera Ruiz, Johannes OetschKnowledge-Based Visual Question AnsweringNeuro-Symbolic Framework

    Vienna University of Technology (TU Wien), Favoritenstrasse 9–11, Vienna, 1040, Austria · Jönköping University, Gjuterigatan 5, 551 11 Jönköping, Sweden

  13. Answer-Set-Programming-based Abstractions for Reinforcement Learning

    May 29, 2026Rafael Bankosegger, Thomas Eiter, Johannes OetschOffline Reinforcement LearningAnswer Set Programming

    Siemens AG Österreich, Vienna, Austria · TU Wien (Vienna University of Technology), Austria · Jönköping University, Sweden

  14. Meta-Programming for Linear-time Temporal Answer Set Programming

    May 28, 2026Susana Hahn, Amadé Nemes, Javier Romero +1Answer Set ProgrammingSignal Temporal Logic

    University of Potsdam, Germany · Potassco Solutions, Germany

  15. 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation

    May 26, 2026Andrea Cuteri, Giuseppe Mazzotta, Francesco RiccaAnswer Set ProgrammingCounterexample

    University of Calabria, Rende, Italy

  16. Parametric Modular Answer Set Programs Made Declarative

    May 21, 2026Jorge Fandinno, Yuliya Lierler, Torsten SchaubAnswer Set ProgrammingModular Framework

    University of Nebraska Omaha, USA · University of Potsdam, Germany

  17. Long-term Power Grid Planning via Answer Set Programming

    May 19, 2026Antonio Ielo, Francesco Doria, Sandra Castellanos-Paez +3Power SystemsAnswer Set Programming

    University of Calabria, Italy · University of Huddersfield, UK

  18. Cplus2ASP: Computing Action Language C+ in Answer Set Programming

    May 10, 2026Joseph Babb, Joohyung LeeAnswer Set ProgrammingGrounding

    School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, USA

  19. Functional Stable Model Semantics and Answer Set Programming Modulo Theories

    May 10, 2026Michael Bartholomew, Joohyung LeeAnswer Set ProgrammingSatisfiability

    School of Computing, Informatics and Decision Systems Engineering Arizona State University, Tempe, USA

  20. Neural Decision-Propagation for Answer Set Programming

    May 3, 2026Thomas Eiter, Katsumi Inoue, Sota MoriyamaNeuro-Symbolic FrameworkAnswer Set Programming

    1Vienna University of Technology (TU Wien), Austria · 2National Institute of Informatics, Japan · 3The Graduate University for Advanced Studies, SOKENDAI, Japan

  21. LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning

    Apr 30, 2026Adam Ishay, Joohyung LeeLLM Reasoning StrategiesAnswer Set Programming

    Arizona State University · Samsung Research

  22. BLAST: Benchmarking LLMs with ASP-based Structured Testing

    Apr 24, 2026Manuel Alejandro Borroto Santana, Erica Coppolillo, Francesco Calimeri +3Large Language Model BenchmarksAnswer Set Programming

    University of Calabria, Rende, Italy · ICAR-CNR, Rende, Italy · Artificial Intelligence LAB, DeMaCS, University of Calabria, Rende, Italy +1

  23. Using ASP(Q) to Handle Inconsistent Prioritized Data

    Apr 23, 2026Meghyn Bienvenu, Camille Bourgaux, Robin Jean +1Answer Set ProgrammingRepair

    Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, Talence, France · DI ENS, ENS, CNRS, PSL University & Inria, Paris, France · University of Calabria, Rende, Italy

  24. Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report

    Apr 23, 2026Marcos Cramer, Tom FrieseArgumentation FrameworksRationality

    asecunet Security Networks AG · TU Dresden

  25. Streamliners for Answer Set Programming

    Apr 21, 2026Florentina Voboril, Martin Gebser, Stefan Szeider +1Answer Set ProgrammingAnswer

    TU Wien Vienna, Austria · University of Klagenfurt Klagenfurt, Austria

  26. Implementing Metric Temporal Answer Set Programming

    Jan 28, 2026Arvid Becker, Pedro Cabalar, Martin Diéguez +3Answer Set Programming

    University of Potsdam, Germany · University of Corunna, Spain · University of Angers, France +1

  27. Answer Set Networks: Casting Answer Set Programming into Deep Learning

    Dec 19, 2024Arseny Skryagin, Daniel Ochs, Philipp Deibert +3Answer Set ProgrammingNeuro-Symbolic Framework

    AI & Machine Learning Group, CS Dept., TU Darmstadt · Uncertainty in AI Group, Dept. of Mathematics and CS, TU Eindhoven · Hessian Center for AI (hessian.AI) +1

  28. CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning

    Jun 5, 2024Xinrui Lin, Yangfan Wu, Huanyu Yang +3Large Language Model PlanningMulti-Robot Motion Planning

    University of Science and Technology of China, China · Institute of Artificial Intelligence, Hefei Comprehensive National Science Center, China

  29. Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods

    Aug 11, 2021Selin Eyupoglu, Muge Fidan, Yavuz Gulesen +5SatisfiabilityLinear Programming

    Computer Science, Faculty of Engineering and Natural Sciences, Sabanci University, Istanbul, Turkey · Economics, Faculty of Arts and Social Sciences, Sabanci University, Istanbul, Turkey