:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Borroto, Manuel, Kareem, Irfan, Ricca, Francesco
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2403.04541
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

BLAST: Benchmarking LLMs with ASP-based Structured Testing
by: Santana, Manuel Alejandro Borroto, et al.
Published: (2026)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
by: Amendola, Giovanni, et al.
Published: (2024)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
by: Cuteri, Andrea, et al.
Published: (2026)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

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

Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing
by: Hite, Connar, et al.
Published: (2025)

Towards Mass Spectrum Analysis with ASP
by: Küchenmeister, Nils, et al.
Published: (2025)

Towards end-to-end ASP computation
by: Sato, Taisuke, et al.
Published: (2023)

Diminution: On Reducing the Size of Grounding ASP Programs
by: Yang, HuanYu, et al.
Published: (2025)

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
by: Chaudhri, Vinay K., et al.
Published: (2013)

Quantifying over Optimum Answer Sets
by: Mazzotta, Giuseppe, et al.
Published: (2024)

EZASP -- Facilitating the usage of ASP
by: Martins, Rafael, et al.
Published: (2026)

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

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
by: Calimeri, Francesco, et al.
Published: (2024)

On the generalization of learned constraints for ASP solving in temporal domains
by: Romero, Javier, et al.
Published: (2024)

Winning Snake: Design Choices in Multi-Shot ASP
by: Böhl, Elisa, et al.
Published: (2024)

Generating Causally Compliant Counterfactual Explanations using ASP
by: Dasgupta, Sopam
Published: (2025)

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
by: Kuhlmann, Isabelle, et al.
Published: (2023)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
by: Nabeshima, Hidetomo, et al.
Published: (2025)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
by: Xia, Shihao, et al.
Published: (2026)

Natural Language based Specification and Verification
by: Li, Zhaorui, et al.
Published: (2026)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
by: Beheshti, Amin
Published: (2024)

An LLM + ASP Workflow for Joint Entity-Relation Extraction
by: Tran, Trang, et al.
Published: (2025)

ASP-FZN: A Translation-based Constraint Answer Set Solver
by: Eiter, Thomas, et al.
Published: (2025)

Automatic Programming: Large Language Models and Beyond
by: Lyu, Michael R., et al.
Published: (2024)

A Survey of Automatic Hallucination Evaluation on Natural Language Generation
by: Qi, Siya, et al.
Published: (2024)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
by: Vozna, Alina, et al.
Published: (2026)

A General Framework for Dynamic MAPF using Multi-Shot ASP and Tunnels
by: Bogatarkan, Aysu, et al.
Published: (2025)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
by: Ishay, Adam, et al.
Published: (2026)

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
by: Ren, Lin, et al.
Published: (2025)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

Mathesis: Towards Formal Theorem Proving from Natural Languages
by: Xuejun, Yu, et al.
Published: (2025)

Finite Groundings for ASP with Functions: A Journey through Consistency
by: Gerlach, Lukas, et al.
Published: (2024)

An Empirical Study of Conformal Prediction in LLM with ASP Scaffolds for Robust Reasoning
by: Kaur, Navdeep, et al.
Published: (2025)

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
by: van de Laar, Teun, et al.
Published: (2024)