Home page of Marco Maratea

Marco Maratea - Home Page

I am Research Associate at DIST of the University of Genoa, working in Enrico Giunchiglia's group.

From October 2005 to December 2006 I was working 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 Genoa in April 2001 and June 2005, respectively. My advisor was E. Giunchiglia.

I'm interested in decision procedures for propositional satisfiability (SAT) and SAT-based decision procedures.

I have developed SIMO a solver for SAT with E. Giunchiglia and A. Tacchella.

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) heuristics for disjunctive logic programming with W. Faber, N. Leone and F. Ricca . See our LPNMR 2007 and J. Algorithms papers!

SAT-based decision procedures for optimization problems (like Max-SAT and Min-ONE) with E. Giunchiglia. See the OPTSAT system home page.

extending the planning as satisfiability framework to include preferences (in order to deal with optimization tasks like "soft" goals and "minimal"-length plans) with E. Giunchiglia. See our AAAI 2007 paper!

Teaching/Didattica (in italian)

Events I am/was involved
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) Special session on "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)

Local organization
SAT2003 Sixth International Conference on Theory and Applications of Satisfiability Testing. May 5-8 2003. Portofino, Italy (EU).

Publications

E. Di Rosa, E. Giunchiglia, M. Maratea - Solving Satisfiability Problems with Preferences.
Accepted to Constraints: Special issue on "Constraint-based approaches to preference modelling and reasoning". (preliminary version available here)
E. Giunchiglia, M. Maratea - Improving Plan Quality in SAT-based Planning.
Accepted to the 11th Conference of the Italian Association for Artificial Intelligence (AI*IA 2009).
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 (AMAI). Vol. 53(1-4), 2008.
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, pgg. 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, pgg. 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), pgg. 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, pgg. 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, pgg. 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, pgg. 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, pgg. 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, pgg. 377-381.
E. Giunchiglia, Yu. Lierler, M. Maratea - Answer Set Programming based on Propositional Satisfiability.
Journal of Automated Reasoning (JAR), Vol. 36(4), pgg. 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), pgg. 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. pgg. 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. pgg 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 (JAR). Vol. 35(1-3), pgg. 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), pgg. 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, pgg. 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, pgg. 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, pgg. 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, pgg. 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)