Home page of Marco Maratea

Marco Maratea - Home Page

Since December 2010, I am Assistant Professor at the Polytechnic School (since 2013, before at the Faculty of Engineering) of the University of Genova, affiliated with DIBRIS (formerly DIST).

From March 2007 to February 2010 I have been Research Associate at DIST at the Faculty of Engineering of the University of Genova in E. Giunchiglia's group.

From October 2009 to September 2010 I have been Professor on contract at the same Faculty, and at the Faculty of Humanities of the University of Calabria.

From October 2005 to December 2006 I was working as Research Associate at the Department of Mathematics of the University of Calabria in N. Leone's group, and I was Professor on contract at the Faculty of Sciences until September 2007.

I received the master degree in computer science and engineering and the PhD degree from the University of Genova in June 2001 and April 2005, respectively. My advisor was E. Giunchiglia.

I worked with Prof. V. Lifschitz in the Department of Computer Science at the University of Texas at Austin from Janaury to April 2003 on Answer Set Programming, in particular on the integration of Cmodels and SIMO.

I also worked with Prof. D. Dill in the Department of Computer Science at the Stanford University at Stanford from February to May 2004.

At the moment, I am working on

the relation between ASP and SAT procedures with E. Giunchiglia and N. Leone. See our AMAI paper!

(look-back) tecnhniques and heuristics for disjunctive logic programming with W. Faber, N. Leone and F. Ricca . See our LPNMR 2007, J. Algorithms and Fundamenta Informaticae papers!

decision procedures for satisfiability problems with preferences with E. Giunchiglia. See the OPTSAT and nOPTSAT systems home pages, and our ECAI 2006, ECAI 2008, CP 2008 and Constraints papers!

planning as satisfiability with preferences with E. Giunchiglia. See our AAAI 2007 and JLC papers!

Open call for research positions at DIBRIS

Teaching/Didattica (in italian)

Events I am/was involved

14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014)

RCRA 2013 International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)

7th International Conference on Web Reasoning and Rule Systems (RR 2013)

9th Reasoning Web Summer School (RW 2013)

AI*IA 2013

6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

RCRA 2012

AI Communications

26th Conference on Artificial Intelligence (AAAI 2012)

13rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

Best Italian Master Thesis in AI

6th International Conference on Web Reasoning and Rule Systems (RR 2012)

8th Reasoning Web Summer School (RW 2012)

5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)

8th Doctoral Consortium of the 28th International Conference on Logic Programming (ICLP DC 2012)

ICLP 2011

Theory and Practice of Logic Programming

22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)

27th International Conference on Logic Programming (ICLP 2011)

4th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2011)

ASPOCP

LaSh

AI Communications

RCRA 2011 International Workshop on Experimental Evaluation of Algorithms for Solving problems with Combinatorial Explosion (RCRA 2011)

3rd Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2010)

Convegno Italiano di Logica Computazionale (CILC 2010)

International Workshop on Experimental Evaluation of Algorithms for Solving problems with Combinatorial Explosion (RCRA 2009)

Twelfth International Workshop on Non-Monotonic Reasoning (NMR 2008)

Declarative Programming Paradigms and Systems for NMR

International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2008)

Convegno Italiano di Logica Computazionale (CILC) 2007

Dagstuhl Seminar 05171: Nonmonotonic Reasoning, Answer Set Programming and Constraints

Combination of Decision Procedures - Summer School 2004

Terzo Workshop Italiano su Planning e Scheduling (in italian)

SAT2003

Publications

A. Armando, E. Giunchiglia, M. Maratea, S.E. Ponta -
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach.
In Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), Journal Presentation track.
M. Maratea - Planning as Satisfiability with IPC Simple Preferences and Action Costs.
AI Communications. Vol 25(4), pg. 343-360, 2012.
M. Maratea, L. Pulina - Solving Disjunctive Temporal Problems with Preferences using Maximum Satisfiability.
AI Communications. Vol 25(2), pg. 137-156, 2012.
A. Armando, E. Giunchiglia, M. Maratea, S.E. Ponta -
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints.
Journal of Computer and Systems Sciences, Special issue on Knowledge Representation and Reasoning, Vol. 78(1), pg. 119-141, 2012.
M. Maratea, L. Pulina, F. Ricca - The Multi-Engine ASP solver ME-ASP.
Proc. of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012). LNCS 7519, pg. 484-487.
E. Giunchiglia, M. Maratea - Algorithms for Solving Satisfiability Problems with Qualitative Preferences.
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. LNCS 7265, pg. 327-344, 2012.
M. Maratea, L. Pulina, F. Ricca - Applying Machine Learning Techniques to ASP Solving.
Accepted to the 28th International Conference on Logic Programming (ICLP 2012).
A. Armando, A. Contento, D. Costa, M. Maratea - Minimum Disclosure as Boolean Optimization: New Results.
Accepted to the 19th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2012).
L. Foti, M. Maratea, S. Sacone, S. Siri - Solving Train Load Planning Problems with Boolean Optimizations.
Accepted to the 19th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2012).
D. Anghinolfi, L. Foti, M. Maratea, M. Paolucci, S. Siri - Optimal loading plan for multiple trains in container terminals.
Accepted to the 5th International Workshop on Freight Transportation and Logistics (ODYSSEUS 2012).
M. Maratea, L. Pulina - Over-subscription planning with Boolean Optimization: An assessment of state-of-the-art solutions.
In Proc. of the 12th Conference of the Italian Association for Artificial Intelligence (AI*IA 2011). LNAI 6934, pg. 421-426.
M. Maratea, M. Pianfetti, L. Pulina - Solving Disjunctive Temporal Problems with Preferences using Boolean Optimization solvers.
Accepted to the 18th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2011).
W. Faber, N. Leone, M. Maratea, F. Ricca - Look-back Techniques for ASP Programs with Aggregates.
Fundamenta Informaticae. Vol. 107(4), pg. 379-413, 2011.
M. Maratea, F. Ricca, P. Veltri - DLV^{MC}: Enhanced Model Checking in DLV.
In Proc. of the 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), LNCS 6341, pg. 365-368.
M. Maratea - An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems.
Accepted to the 17th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2010).
E. Giunchiglia, M. Maratea - A Pseudo-Boolean Approach for Solving Planning Problems with IPC Simple Preferences.
Accepted to the ICAPS 2010 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2010).
E. Giunchiglia, M. Maratea - Introducing Preferences in Planning as Satisfiability.
Journal of Logic and Computation. Vol. 21(2), pg. 205-229, 2011.
E. Di Rosa, E. Giunchiglia, M. Maratea - Solving Satisfiability Problems with Preferences.
Constraints: Special issue on Constraint-based approaches to preference modelling and reasoning. Vol. 15(4), pg. 485-515, 2010.
E. Giunchiglia, M. Maratea - Improving Plan Quality in SAT-based Planning.
In Proc. 11th Conference of the Italian Association for Artificial Intelligence (AI*IA 2009). LNCS 5883, pg. 253-263.
E. Giunchiglia, M. Maratea - A generate-and-test approach for computing ``optimal'' plans in SAT-based planning.
Accepted to the ICAPS 2009 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2009).
C. Carthel, S. Coraluppi, P. Willett, M. Maratea, A. Maguer - Maximum Likelihood Approach to HF Radar Performance Characterization.
In Proc. 12th International Conference on Information Fusion (FUSION 2009).
E. Giunchiglia, N. Leone, M. Maratea - On the Relation Among Answer Set Solvers.
Annals of Mathematics and Artificial Intelligence. Vol. 53(1-4), pg. 169-204, 2008.
E. Di Rosa, E. Giunchiglia, M. Maratea - Solving Satisfiability Problems with Qualitative Preferences: A new Approach.
Accepted to the 15th RCRA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2008).
W. Faber, N. Leone, M. Maratea, F. Ricca - Look-back Techniques for ASP Programs with Aggregates.
Accepted to the 15th RCRA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2008).
E. Di Rosa, E. Giunchiglia, M. Maratea - Enumerating the optimal solutions with qualitative preferences in SAT, CP and ASP.
Accepted to the 2nd International Workshop on Logic and Search (LaSh 2008).
W. Faber, N. Leone, M. Maratea, F. Ricca - Backjumping and Look-back Heuristics for Disjunctive Logic Programming with Aggregates.
Accepted to the 2nd International Workshop on Logic and Search (LaSh 2008).
E. Di Rosa, E. Giunchiglia, M. Maratea - Solving Satisfiability Problems with Preferences in Planning as Satisfiability.
Accepted to 18th International Conference on Automated Planning and Scheduling (ICAPS 2008) Doctoral Consortium.
E. Di Rosa, E. Giunchiglia, M. Maratea - Computing all Optimal Solutions in Satisfiability Problems with Preferences.
In Proc. 14th International Conference on Principles and Practice of Constraint Programming (CP 2008), LNCS, pg. 603-607.
E. Di Rosa, E. Giunchiglia, M. Maratea - A New Approach for Solving Satisfiability Problems with Qualitative Preferences.
In Proc. 18th European Conference on Artificial Intelligence (ECAI 2008), IOS Press, pg. 510-514.
M. Maratea, F. Ricca, W. Faber, N. Leone - Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers.
Journal of Algorithms. Vol. 63(1-3), pg. 70-89, 2008.
N. Leone, W. Faber, G. Pfeifer, A. Bria, F. Calimeri, G. Catalano, S. Cozza, T. Dell'Armi, T. Eiter, G. Gottlob, G. Greco, G. Ianni, G. Ielpa, M. Maratea, C. Panetta, S. Perri, F. Ricca, F. Scarcello, G. Terracina. - DLV: An Advanced System for Knowledge Representation and Reasoning.
ALP Newsletter. Vol. 20(3-4), 2007.
W. Faber, N. Leone, M. Maratea, F. Ricca - Looking Back in DLV: Experiments and Comparison to QBF Solvers.
Accepted to the Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP 2007) .
E. Giunchiglia, M. Maratea - SAT-based Planning with minimal-#actions plans and "soft" goals. Best Paper Award
In Proc. 10th Congress of the Italian Association for Artificial Intelligence (AI*IA 2007), LNCS, pg. 422-433.
E. Giunchiglia, M. Maratea - Planning as Satisfiability with Preferences.
In Proc. 22th Conference of the American Association for Artificial Intelligence (AAAI 2007), AAAI Press, pg. 987-992.
W. Faber, N. Leone, M. Maratea, F. Ricca - Look-Back Techniques and Heuristics in DLV: Implementation and Evaluation.
Accepted to AI*IA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2007).
E. Giunchiglia, M. Maratea - Exploting Optimizations in SAT-based Planning: minimal-#actions plans and "soft" goals.
Accepted to AI*IA Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2007).
W. Faber, N. Leone, M. Maratea, F. Ricca - Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV.
Accepted to the 4th Italian Congress on Computational Logic (CILC 2007). 21-22 June 2007, Messina, Italy.
M. Brain, W. Faber, M. Maratea, A. Polleres, T. Schaub, R. Schindlauer - What should an ASP Solver output? A Multiple Position Paper.
In Proc. 1st Workshop on Software Engineering for Answer Set Programming (SEA'07).
W. Faber, N. Leone, M. Maratea, F. Ricca - Experimenting with Look-Back Heuristics on Hard ASP Programs.
In Proc. 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), LNCS, pg. 110-122.
Yu. Lierler, M. Maratea - Cmodels: SAT-based Answer Set Programming System.
ALP Newsletter, Vol. 20(1), 2007.
E. Giunchiglia, M. Maratea - OPTSAT: A Tool for Solving SAT related Optimization Problems. (tool description)
In Proc. 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), LNCS, pg. 485-489).
E. Giunchiglia, Yu. Lierler, M. Maratea, A. Tacchella - Experiments with SAT-based Answer Set Programming.
Accepted to the 1st Workshop on Search and Logic: Answer Set Programming and SAT (LaSh06). August 16, 2006, Seattle, Washington, USA.
W. Faber, N. Leone, M. Maratea, F. Ricca - Evaluating Backjumping for Disjunctive Logic Programming.
Accepted to AI*IA Workshop on "Experimental analysis and benchmarks of algorithms for Artificial Intelligence". 23 June 2006. Udine, Italy.
E. Giunchiglia, M. Maratea - Solving Optimization Problems with DLL.
In Proc. 17th European Conference on Artificial Intelligence ( ECAI 2006), IOS Press, pg. 377-381.
E. Giunchiglia, Yu. Lierler, M. Maratea - Answer Set Programming based on Propositional Satisfiability.
Journal of Automated Reasoning. Vol. 36(4), pg. 345-377 (2006).
M. Maratea - Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems.
AI Communications Journal. (PhD summary). Vol. 19(1), pg. 87-89. 2006.
E. Giunchiglia, M. Maratea - On the relation between Answer Set and SAT procedures (or, between smodels and cmodels).
In Proc. ICLP 2005 21th International Conference on Logic Programming. October 2 - 5, 2005, Sitges (Barcelona) Spain. LNCS 3668. pg. 37-51.
E. Giunchiglia, M. Maratea - Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
In Proc. AI*IA 2005 9th Congress of the Italian Association for Artificial Intelligence. September 21-23, 2005, Milan, Italy, EU. LNCS/LNAI 3673. pg 122-134.
E. Giunchiglia, M. Maratea - An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Accepted to ASP05 Answer Set Programming: Advances in Theory and Implementation. July 27-29, 2005 Bath, UK.
A. Armando, C. Castellini, E. Giunchiglia, M. Maratea - The SAT-based Approach to Separation Logic.
Journal of Automated Reasoning. Vol. 35(1-3), pg. 237-263 (2005).
E. Giunchiglia, M. Maratea - An Analysis of Search Strategies and Heuristics in Answer Set Programming.
Accepted to AI*IA Workshop on "Experimental analysis and benchmarks for Artificial Intelligence algorithms". 10 June 2005. Ferrara, Italy, EU.
A. Armando, C. Castellini, E. Giunchiglia, M. Idini, M. Maratea - TSAT++: An Open Reasoning Platform for Satisfiability Modulo Theory.
Accepted to PDPAR 2004. 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning. 5 July 2004, Cork, Ireland. ENTCS Volume 125(3), pg. 25-36. TSAT++ web site
E. Giunchiglia, Yu. Lierler, M. Maratea - A SAT-Based Polynomial Space Algorithm for Answer Set Programming.
Accepted to NMR 2004 10th International Workshop on Non-Monotonic Reasoning. 6-8 June, Whister BC, Canada.
A. Armando, C. Castellini, E. Giunchiglia, M. Maratea - A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
Accepted to SAT 2004. 10-13 May, Vancouver, Canada. LNCS 3542, pg. 16-29.
E. Giunchiglia, Yu. Lierler, M. Maratea - SAT-Based Answer Set Programming.
In Proc. AAAI 2004 Nineteenth National Conference on Artificial Intelligence. 25-29 July, S. Jose, CA. AAAI/MIT Press.
A. Armando, C. Castellini, E. Giunchiglia, M. Maratea - Effective reasoning techniques for temporal reasoning.
First Robocare Workshop. 30 October 2003, Rome, Italy (EU).
Yu. Babovich, M. Maratea - Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. (System description)
In Proc. LPNMR-7 7th International Conference on Logic Programming and Nonmonotonic Reasoning. January 6-8, 2004 Miami, Florida. LNCS 2923, pg. 346-350.
Yu. Babovich, M. Maratea - Computing Answer Sets of a Logic Program via enumeration of SAT certificates.
Accepted to ASP03 Answer Set Programming: Advances in Theory and Implementation. September 26-29, 2003 Messina, Sicily, Italy (EU).
E. Giunchiglia, M. Maratea, A. Tacchella - (In)Effectiveness of Look-ahead Techniques in a Modern SAT Solver.
In Proc. CP 2003 Ninth International Conference on Principles and Practice of Constraint Programming . LNCS 2833, 842-846. (Poster paper)
E. Giunchiglia, M. Maratea, A. Tacchella - Look-Ahead vs. Look-Back techniques in a modern SAT solver.
Accepted to SAT2003 Sixth International Conference on Theory and Applications of Satisfiability Testing. May 5-8 2003. Portofino, Italy (EU).
E. Giunchiglia, M. Maratea, A. Tacchella - Dependent and independent variables in propositional satisfiability.
In Proc. 8th European Conference on Logics in Artificial Intelligence (JELIA 2002). September 23-26, 2002 Cosenza, Italy. JELIA. LNCS/LNAI 2424, pg. 296-307.
E. Giunchiglia, M. Maratea, A. Tacchella, D. Zambonin - Evaluating search heuristics and optimization techniques in propositional satisfiability.
In Proc. 1st International Joint Conference on Automated Reasoning (IJCAR-01). LNCS 2083, pg. 347-363.

Theses
M. Maratea - Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems. PhD Thesis, April 2005. University of Genova, Italy.
M. Maratea - Integration of Efficient Algorithms for Equivalence Reasoning in Propositional Satisfiability. Master Thesis, June 2001. University of Genova, Italy. (In italian)