Marco Maratea

6 papers in the IJCAI proceedings

IJCAI 2026

Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs

with Carmine Dodaro, Antonio Ielo, Cinzia Marte, Alice Tarzariol

doi:10.24963/ijcai.2026/424

Details PDF

IJCAI 2025

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms

with Simone Caruso, Carmine Dodaro, Alice Tarzariol

doi:10.24963/ijcai.2025/490

Details PDF

IJCAI 2024

AMO-aware Aggregates in Answer Set Programming

with Mario Alviano, Carmine Dodaro, Salvatore Fiorentino

doi:10.24963/ijcai.2024/356

Details PDF

IJCAI 2020

A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)

with Giovanni Amendola, Carmine Dodaro

doi:10.24963/ijcai.2020/652

Details PDF

IJCAI 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey

with Martin Gebser, Nicola Leone, Simona Perri, Francesco Ricca, Torsten Schaub

doi:10.24963/ijcai.2018/769

Details PDF

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

with Thomas Linsbichler, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran

doi:10.24963/ijcai.2018/263

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings