Proceedings

Mario Alviano

DEMACS , University of Calabria , Via Bucci 30/B , 87036 Rende (CS) , Italy

11 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

IJCAI 2016

Completion of Disjunctive Logic Programs
with Carmine Dodaro
Details PDF
From Non-Convex Aggregates to Monotone Aggregates in ASP
with Wolfgang Faber, Martin Gebser
Details PDF
On the Properties of GZ-Aggregates in Answer Set Programming
with Nicola Leone
Details PDF

IJCAI 2015

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
with Carmine Dodaro, Francesco Ricca
Details PDF
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective
with Wolfgang Faber
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards