Maratea, Marco

10 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 2024 Symbolic Numeric Planning with Patterns Matteo Cardellini, Enrico Giunchiglia, Marco Maratea

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

IJCAI 2018 Evaluation Techniques and Systems for Answer Set Programming: A Survey Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub

IJCAI 2018 Novel Algorithms for Abstract Dialectical Frameworks Based on Complexity Analysis of Subclasses and SAT Solving Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran

JAIR 2017 The Sixth Answer Set Programming Competition Martin Gebser, Marco Maratea, Francesco Ricca

AAAI 2016 What's Hot in the Answer Set Programming Competition Martin Gebser, Marco Maratea, Francesco Ricca

AAAI 2007 Planning as Satisfiability with Preferences Enrico Giunchiglia, Marco Maratea

AAAI 2004 SAT-Based Answer Set Programming Enrico Giunchiglia, Yuliya Lierler, Marco Maratea