Demo Data from VLDB 2026 / reviewers in the wild / expert
Manuel Borroto
dblp:299/0282 · also Manuel A. Borroto Santana, Manuel Alejandro Borroto, Manuel Alejandro Borroto Santana
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2026
0000-0002-9546-1998ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
code generation from natural language |
0.8 | 1 | 2024 | Towards Automatic Composition of ASP Programs from Natural Language Specifications · IJCAI 2024 |
Logic in computer science › logic programming
answer set programming |
0.8 | 1 | 2024 | Towards Automatic Composition of ASP Programs from Natural Language Specifications · IJCAI 2024 |
Methods — techniques the papers use, named apart from their topics
answer set programming · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | ALM-ASP: A Functional Agentic Architecture for Answer Set ProgrammingabstractAnswer Set Programming (ASP) is a declarative formalism widely used in knowledge representation and reasoning for modeling and solving combinatorial problems, yet current Large Language Models (LLMs) often struggle to generate correct programs from natural language specifications. This difficulty stems both from the limited presence of ASP in training corpora and from the strict syntactic and semantic constraints imposed by stable model semantics. We introduce ALM–ASP (Agentic Loop for Modeling in ASP), a multi-agent architecture for automatic ASP modeling grounded in a functional model of language agents equipped with tools and persistent state. ALM–ASP instantiates this model via two interacting agents: a Modeler, which incrementally constructs candidate ASP programs, and a Validator, which assesses their alignment with the original specification and provides feedback for refinement. The agents interact through a shared ASP execution environment backed by the CLINGO engine, yielding an iterative construct–validate loop. An empirical evaluation on a challenging subset of CP–Bench and on problems from recent LP/CP Programming Contests shows that ALM–ASP significantly improves both syntactic validity and end-to-end correctness over general-purpose LLM baselines, and also achieves improved instance coverage compared to the closest agentic alternative, CP–Agent. Luis Angel Rodriguez Reiners, Alice Tarzariol, Mario Alviano, Manuel Borroto, Konstantin Schekotihin |
KR | 4 |
| 2024 | Towards Automatic Composition of ASP Programs from Natural Language Specifications
Manuel Borroto, Irfan Kareem, Francesco Ricca |
IJCAI | 1 |