ML Anthology
Authors
Search
About
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