Concepedia

Marco Maratea

MM

26

Publications

929

Citations

16

H-Index

2004

Active since

Affiliations

University of Genoa(Current)

University of Calabria

University of Potsdam

Helsinki Institute for Information Technology

University of Huddersfield

Marco Maratea is an author at University of Genoa specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsAnswer Set ProgrammingSystems EngineeringCombinatorial OptimizationProgram AnalysisArtificial IntelligenceMathematical Programming

Publications per year

2004–2024

26

Publications

26

Answer Set Programming Based on Propositional Satisfiability

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea · Journal of Automated Reasoning · 2006 · 159 citations

Engineering, Automated Reasoning, Answer Set Programming +5

Design and results of the Fifth Answer Set Programming Competition

Francesco Calimeri, Martin Gebser, Marco Maratea et al. · Artificial Intelligence · 2015 · 115 citations

Mathematical Programming, Artificial Intelligence, Declarative Programming +12

SAT-based answer set programming

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea · 2004 · 68 citations

The Sixth Answer Set Programming Competition

Martin Gebser, Marco Maratea, Francesco Ricca · Journal of Artificial Intelligence Research · 2017 · 58 citations · Full text

Artificial Intelligence, Mathematical Programming, Declarative Programming +13

Evaluation Techniques and Systems for Answer Set Programming: a Survey

Martin Gebser, Nicola Leone, Marco Maratea et al. · 2018 · 58 citations · Full text

Artificial Intelligence, Mathematical Programming, Engineering +26

Rows per page

1–5 of 26