Follow
Marco Maratea
Marco Maratea
Verified email at dibris.unige.it - Homepage
Title
Cited by
Cited by
Year
Cmodels-2: SAT-based answer set solver enhanced to non-tight programs
Y Lierler, M Maratea
Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004
2322004
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
2302020
Answer set programming based on propositional satisfiability
E Giunchiglia, Y Lierler, M Maratea
Journal of Automated reasoning 36, 345-377, 2006
2122006
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1452016
SAT-based answer set programming
E Giunchiglia, Y Lierler, M Maratea
AAAI 4, 61-66, 2004
912004
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
M Gebser, N Leone, M Maratea, S Perri, F Ricca, T Schaub
IJCAI 18, 5450-5456, 2018
822018
The sixth answer set programming competition
M Gebser, M Maratea, F Ricca
Journal of Artificial Intelligence Research 60, 41-95, 2017
822017
Solving satisfiability problems with preferences
E Di Rosa, E Giunchiglia, M Maratea
Constraints 15, 485-515, 2010
812010
A multi-engine approach to answer-set programming
M Maratea, L Pulina, F Ricca
Theory and Practice of Logic Programming 14 (6), 841-868, 2014
802014
A SAT-based decision procedure for the boolean combination of difference constraints
A Armando, C Castellini, E Giunchiglia, M Maratea
International Conference on Theory and Applications of Satisfiability …, 2004
752004
Design and results of the second international competition on computational models of argumentation
SA Gaggl, T Linsbichler, M Maratea, S Woltran
Artificial Intelligence 279, 103193, 2020
732020
Evaluation of disjunctive programs in WASP
M Alviano, G Amendola, C Dodaro, N Leone, M Maratea, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
732019
Evaluating search heuristics and optimization techniques in propositional satisfiability
E Giunchiglia, M Maratea, A Tacchella, D Zambonin
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
662001
Nurse scheduling via answer set programming
C Dodaro, M Maratea
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
652017
Planning as satisfiability with preferences
E Giunchiglia, M Maratea
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (2), 987, 2007
622007
Dependent and independent variables in propositional satisfiability
E Giunchiglia, M Maratea, A Tacchella
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
612002
The seventh answer set programming competition: Design and results
M Gebser, M Maratea, F Ricca
Theory and Practice of Logic Programming 20 (2), 176-204, 2020
562020
Systems, engineering environments, and competitions
Y Lierler, M Maratea, F Ricca
AI Magazine 37 (3), 45-52, 2016
522016
Solving optimization problems with DLL
E Giunchiglia, M Maratea
ECAI 141, 377-381, 2006
512006
The design of the seventh answer set programming competition
M Gebser, M Maratea, F Ricca
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
502017
The system can't perform the operation now. Try again later.
Articles 1–20