Alice Tarzariol

4 papers in the IJCAI proceedings

IJCAI 2026

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

with Carmine Dodaro, Antonio Ielo, Marco Maratea, Cinzia Marte

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, Marco Maratea

doi:10.24963/ijcai.2025/490

Details PDF

IJCAI 2022

A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming

doi:10.24963/ijcai.2022/840

Details PDF

IJCAI 2021

Lifting Symmetry Breaking Constraints with Inductive Logic Programming

with Martin Gebser, Konstantin Schekotihin

doi:10.24963/ijcai.2021/284

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings