:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zeng, Yankai, Gupta, Gopal
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.06438
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Counterfactual Generation with Answer Set Programming
by: Dasgupta, Sopam, et al.
Published: (2024)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
by: Zeng, Yankai, et al.
Published: (2024)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Dominating Set Reconfiguration with Answer Set Programming
by: Kato, Masato, et al.
Published: (2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
by: Tudor, Alexis R., et al.
Published: (2025)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
by: Rizwan, Momina, et al.
Published: (2020)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Neural Decision-Propagation for Answer Set Programming
by: Eiter, Thomas, et al.
Published: (2026)

Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)

Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
by: Schrader, Timo Pierre, et al.
Published: (2025)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
by: Aguado, Felicidad, et al.
Published: (2025)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
by: Azzolini, Damiano, et al.
Published: (2024)

Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)

Guiding and Diversifying LLM-Based Story Generation via Answer Set Programming
by: Wang, Phoebe J., et al.
Published: (2024)

Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programming
by: Zhu, Fengming, et al.
Published: (2023)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
by: Lee, Joohyung, et al.
Published: (2025)

Human Emotion Verification by Action Languages via Answer Set Programming
by: Brännström, Andreas, et al.
Published: (2026)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
by: Eiter, Thomas, et al.
Published: (2022)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
by: Bartholomew, Michael, et al.
Published: (2026)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
by: Cunnington, Daniel, et al.
Published: (2022)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
by: Sugimori, Irumi, et al.
Published: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
by: Trieu, Ly Ly, et al.
Published: (2026)

Human Conditional Reasoning in Answer Set Programming
by: Sakama, Chiaki
Published: (2023)

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
by: Baryannis, George, et al.
Published: (2020)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
by: Babb, Joseph, et al.
Published: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Question Answering with LLMs and Learning from Answer Sets
by: Borroto, Manuel, et al.
Published: (2025)

Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
by: Oh, Jungsuk, et al.
Published: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)