Dodaro, Carmine

11 publications

IJCAI 2025 A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms Simone Caruso, Carmine Dodaro, Marco Maratea, Alice Tarzariol

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

AAAI 2022 Compilation of Aggregates in ASP Systems Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro

IJCAI 2022 LTL on Weighted Finite Traces: Formal Foundations and Algorithms Carmine Dodaro, Valeria Fionda, Gianluigi Greco

IJCAI 2020 A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) Giovanni Amendola, Carmine Dodaro, Marco Maratea

IJCAI 2020 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

AAAI 2018 Externally Supported Models for Efficient Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca

AAAI 2017 On the Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

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

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

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