Mario Alviano

6 papers in the IJCAI proceedings

IJCAI 2025

ASP Chef Chats with Large Language Models

with Pietro Macrì, Luis Angel Rodriguez Reiners

doi:10.24963/ijcai.2025/1247

Details PDF

Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language

with Lorenzo Grillo, Fabrizio Lo Scudo, Luis Angel Rodriguez Reiners

doi:10.24963/ijcai.2025/482

Details PDF

IJCAI 2024

AMO-aware Aggregates in Answer Set Programming

with Carmine Dodaro, Salvatore Fiorentino, Marco Maratea

doi:10.24963/ijcai.2024/356

Details PDF

IJCAI 2019

On the Integration of CP-nets in ASPRIN

with Javier Romero, Torsten Schaub

doi:10.24963/ijcai.2019/207

Details PDF

IJCAI 2018

Query Answering in Propositional Circumscription

doi:10.24963/ijcai.2018/231

Details PDF

IJCAI 2017

Unsatisfiable Core Shrinking for Anytime Answer Set Optimization

with Carmine Dodaro

doi:10.24963/ijcai.2017/666

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings