EZASP -- Facilitating the usage of ASP
Fuente:
arXiv
Saved in:
| Main Authors: | Martins, Rafael, Knorr, Matthias, Gonçalves, Ricardo |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
by: Amendola, Giovanni, et al.
Published: (2024)
by: Amendola, Giovanni, et al.
Published: (2024)
A systematic review of generative AI usage for IT project management
by: Anghel, Ionut, et al.
Published: (2026)
by: Anghel, Ionut, et al.
Published: (2026)
Afterburner: Reinforcement Learning Facilitates Self-Improving Code Efficiency Optimization
by: Du, Mingzhe, et al.
Published: (2025)
by: Du, Mingzhe, et al.
Published: (2025)
Smart Expansion Techniques for ASP-based Interactive Configuration
by: Balážová, Lucia, et al.
Published: (2025)
by: Balážová, Lucia, et al.
Published: (2025)
Reversa: A Reverse Documentation Engineering Framework for Converting Legacy Software into Operational Specifications for AI Agents
by: de Macedo, Sanderson Oliveira, et al.
Published: (2026)
by: de Macedo, Sanderson Oliveira, et al.
Published: (2026)
Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
by: Weiss, Martin, et al.
Published: (2025)
by: Weiss, Martin, et al.
Published: (2025)
Can an LLM Detect Instances of Microservice Infrastructure Patterns?
by: Duarte, Carlos Eduardo, et al.
Published: (2026)
by: Duarte, Carlos Eduardo, et al.
Published: (2026)
MELT: Mining Effective Lightweight Transformations from Pull Requests
by: Ramos, Daniel, et al.
Published: (2023)
by: Ramos, Daniel, et al.
Published: (2023)
Can Github issues be solved with Tree Of Thoughts?
by: La Rosa, Ricardo, et al.
Published: (2024)
by: La Rosa, Ricardo, et al.
Published: (2024)
Facilitating Trustworthy Human-Agent Collaboration in LLM-based Multi-Agent System oriented Software Engineering
by: Ronanki, Krishna
Published: (2025)
by: Ronanki, Krishna
Published: (2025)
Automatic Identification of Machine Learning-Specific Code Smells
by: Hamfelt, Peter, et al.
Published: (2025)
by: Hamfelt, Peter, et al.
Published: (2025)
Engineering AI Agents for Clinical Workflows: A Case Study in Architecture,MLOps, and Governance
by: Lopes, Cláudio Lúcio do Val, et al.
Published: (2026)
by: Lopes, Cláudio Lúcio do Val, et al.
Published: (2026)
Commit0: Library Generation from Scratch
by: Zhao, Wenting, et al.
Published: (2024)
by: Zhao, Wenting, et al.
Published: (2024)
Supporting architecture evaluation for ATAM scenarios with LLMs
by: Capilla, Rafael, et al.
Published: (2025)
by: Capilla, Rafael, et al.
Published: (2025)
ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)
by: Beiser, Alexander, et al.
Published: (2025)
Reflections on the Reproducibility of Commercial LLM Performance in Empirical Software Engineering Studies
by: Angermeir, Florian, et al.
Published: (2025)
by: Angermeir, Florian, et al.
Published: (2025)
How Do Agents Perform Code Optimization? An Empirical Study
by: Peng, Huiyun, et al.
Published: (2025)
by: Peng, Huiyun, et al.
Published: (2025)
A Comparison of Conversational Models and Humans in Answering Technical Questions: the Firefox Case
by: Correia, Joao, et al.
Published: (2025)
by: Correia, Joao, et al.
Published: (2025)
Systematic Comparison of Software Agents and Digital Twins: Differences, Similarities, and Synergies in Industrial Production
by: Reinpold, Lasse Matthias, et al.
Published: (2023)
by: Reinpold, Lasse Matthias, et al.
Published: (2023)
Static Program Analysis Guided LLM Based Unit Test Generation
by: Roychowdhury, Sujoy, et al.
Published: (2025)
by: Roychowdhury, Sujoy, et al.
Published: (2025)
Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
by: Brancas, Ricardo, et al.
Published: (2024)
by: Brancas, Ricardo, et al.
Published: (2024)
Control-flow Reconstruction Attacks on Business Process Models
by: Kirchmann, Henrik, et al.
Published: (2024)
by: Kirchmann, Henrik, et al.
Published: (2024)
Large Process Models: A Vision for Business Process Management in the Age of Generative AI
by: Kampik, Timotheus, et al.
Published: (2023)
by: Kampik, Timotheus, et al.
Published: (2023)
LLMs: A Game-Changer for Software Engineers?
by: Haque, Md Asraful
Published: (2024)
by: Haque, Md Asraful
Published: (2024)
MCP-Atlas: A Large-Scale Benchmark for Tool-Use Competency with Real MCP Servers
by: Bandi, Chaithanya, et al.
Published: (2026)
by: Bandi, Chaithanya, et al.
Published: (2026)
Laguna M.1/XS.2 Technical Report
by: Abadji, Julien, et al.
Published: (2026)
by: Abadji, Julien, et al.
Published: (2026)
From Goals to Aspects, Revisited: An NFR Pattern Language for Agentic AI Systems
by: Yu, Yijun
Published: (2026)
by: Yu, Yijun
Published: (2026)
Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization
by: Peng, Huiyun, et al.
Published: (2026)
by: Peng, Huiyun, et al.
Published: (2026)
SEMAG: Self-Evolutionary Multi-Agent Code Generation
by: Peng, Yulin, et al.
Published: (2026)
by: Peng, Yulin, et al.
Published: (2026)
VIBEPASS: Can Vibe Coders Really Pass the Vibe Check?
by: Bansal, Srijan, et al.
Published: (2026)
by: Bansal, Srijan, et al.
Published: (2026)
On the Use of a Large Language Model to Support the Conduction of a Systematic Mapping Study: A Brief Report from a Practitioner's View
by: Barros, Cauã Ferreira, et al.
Published: (2026)
by: Barros, Cauã Ferreira, et al.
Published: (2026)
Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
by: Gloaguen, Thibaud, et al.
Published: (2026)
by: Gloaguen, Thibaud, et al.
Published: (2026)
CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems
by: Lyu, Zongyi, et al.
Published: (2026)
by: Lyu, Zongyi, et al.
Published: (2026)
Assessing the Business Process Modeling Competences of Large Language Models
by: Lauer, Chantale, et al.
Published: (2026)
by: Lauer, Chantale, et al.
Published: (2026)
The Energy Impact of Domain Model Design in Classical Planning
by: Georgievski, Ilche, et al.
Published: (2026)
by: Georgievski, Ilche, et al.
Published: (2026)
Liquid Interfaces: A Dynamic Ontology for the Interoperability of Autonomous Systems
by: de Sá, Dhiogo, et al.
Published: (2026)
by: de Sá, Dhiogo, et al.
Published: (2026)
TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI
by: Koohestani, Roham, et al.
Published: (2026)
by: Koohestani, Roham, et al.
Published: (2026)
Will It Survive? Deciphering the Fate of AI-Generated Code in Open Source
by: Rahman, Musfiqur, et al.
Published: (2026)
by: Rahman, Musfiqur, et al.
Published: (2026)
Analyzing Message-Code Inconsistency in AI Coding Agent-Authored Pull Requests
by: Gong, Jingzhi, et al.
Published: (2026)
by: Gong, Jingzhi, et al.
Published: (2026)
TAM-Eval: Evaluating LLMs for Automated Unit Test Maintenance
by: Bruches, Elena, et al.
Published: (2026)
by: Bruches, Elena, et al.
Published: (2026)
Similar Items
-
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
by: Amendola, Giovanni, et al.
Published: (2024) -
A systematic review of generative AI usage for IT project management
by: Anghel, Ionut, et al.
Published: (2026) -
Afterburner: Reinforcement Learning Facilitates Self-Improving Code Efficiency Optimization
by: Du, Mingzhe, et al.
Published: (2025) -
Smart Expansion Techniques for ASP-based Interactive Configuration
by: Balážová, Lucia, et al.
Published: (2025) -
Reversa: A Reverse Documentation Engineering Framework for Converting Legacy Software into Operational Specifications for AI Agents
by: de Macedo, Sanderson Oliveira, et al.
Published: (2026)