Alviano, Mario

14 publications

IJCAI 2025 ASP Chef Chats with Large Language Models Mario Alviano, Pietro Macrì, Luis Angel Rodriguez Reiners

IJCAI 2025 Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language Mario Alviano, Lorenzo Grillo, Fabrizio Lo Scudo, Luis Angel Rodriguez Reiners

IJCAI 2024 AMO-Aware Aggregates in Answer Set Programming Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea

IJCAI 2019 On the Integration of CP-Nets in ASPRIN Mario Alviano, Javier Romero, Torsten Schaub

IJCAI 2018 Query Answering in Propositional Circumscription Mario Alviano

AAAI 2017 Minimal Undefinedness for Fuzzy Answer Sets Mario Alviano, Giovanni Amendola, Rafael Peñaloza

IJCAI 2017 Unsatisfiable Core Shrinking for Anytime Answer Set Optimization Mario Alviano, Carmine Dodaro

AAAI 2016 Boolean Functions with Ordered Domains in Answer Set Programming Mario Alviano, Wolfgang Faber, Hannes Strass

IJCAI 2016 Completion of Disjunctive Logic Programs Mario Alviano, Carmine Dodaro

IJCAI 2016 From Non-Convex Aggregates to Monotone Aggregates in ASP Mario Alviano, Wolfgang Faber, Martin Gebser

IJCAI 2016 On the Properties of GZ-Aggregates in Answer Set Programming Mario Alviano, Nicola Leone

IJCAI 2015 A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size Mario Alviano, Carmine Dodaro, Francesco Ricca

IJCAI 2015 Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective Mario Alviano, Wolfgang Faber

JAIR 2011 Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri