3 papers
cs.SE2026
A Low-Code Approach for the Automatic Personalization of Conversational Agents
Aaron Conrardy, Alfredo Capozucca, Jordi Cabot
The rise of Large Language Models (LLMs) has increased the demand for Conversational Agents (CAs) capable of understanding human conversations as part of web applications. While tr…
cs.LO2025
{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi
{log} (read 'setlog') was born as a Constraint Logic Programming (CLP) language where sets and binary relations are first-class citizens, thus fostering set programming. Internally…
cs.CY2025
Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg +1
This paper investigates the role of AI assistants, specifically OpenAI's ChatGPT, in teaching formal methods (FM) to undergraduate students, using the B-method as a formal specific…