Talks

  • Presentation (in pdf) of the results of the ASP Competition 2014 at the FLoC Olympic Games by F. Calimeri, M. Gebser, M. Maratea, F. Ricca.

  • Presentation (in pdf) of the paper: M. Maratea, L. Pulina, F. Ricca The ME-ASP Multi-Engine solver: Progress report.
    Accepted to the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014).

  • Presentation (in pdf) of the paper: A. Armando, E. Giunchiglia, M. Maratea, S. E. Ponta Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach.
    Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013).

  • Presentation (in pdf) of the paper: M. Maratea, L. Pulina, F. Ricca Automated Selection of Grounding Algorithm in Answer Set Programming.
    Proc. of the 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013).

  • Presentation (in pdf) of the paper: J.R. Bourguet, M. Maratea, L. Pulina A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences.
    Proc. of the 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013).

  • Presentation (in pdf) of the paper:M. Marata, L. Pulina, F. Ricca ME-ASP: A Multi-Engine Solver for Answer Set Programming.
    Proc. of the 9th Italian Convention on Computational Logic (CILC 2012).

  • Presentation (in pdf) of the paper: 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).

  • Presentation (in pdf) of the paper: 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).

  • Presentation (in pdf) of the paper: M. Maratea, L. Pulina Over-subscription planning with Boolean Optimization: An assessment of state-of-the-art solutions.
    Proc. of the 12th Conference of the Italian Association for Artificial Intelligence (AI*IA 2011).

  • Presentation (in pdf) of the paper: 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).

  • Presentation (in pdf) of the paper: E. Giunchiglia, M. Maratea Improving Plan Quality in SAT-based Planning.
    In Proc. 11th Congress of the Italian Association for Artificial Intelligence (AI*IA 2009).

  • Presentation (in pdf) at the Department of Computer Science (DI) of the University of L'Aquila , L'Aquila, Italy, EU.
    Title: Satisfiability and Preference: Solving Optimization Problems with DLL. Apr 10 2008.

  • Presentation (in pdf) at the Department of Computer Science (DI) of the University of L'Aquila , L'Aquila, Italy, EU.
    Title: Propositional Satisfiability (SAT) and SAT-based Decision Procedures. Apr 9 2008.

  • Presentation (in pdf, in ps) of the paper: 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).

  • Presentation (in pdf, in ps) of the paper: 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).

  • Presentation (in pdf, in ps) of the paper: E. Giunchiglia, M. Maratea OPTSAT: A Tool For Solving SAT related Optimization Problems. In Proc. JELIA06.

  • Presentation (in pdf, in ps) at the Department of Computer Science and Engineering (DEIS) of the University of Calabria Rende (CS), Italy, EU.
    Title: Propositional Satisfiability (SAT), SAT-based Answer Set Programming and relation between SAT and ASP. Jun 14 2006.

  • Presentation (in pdf, in ps) of the paper: E. Giunchiglia, M. Maratea Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. In Proc. AI*IA'05.

  • Presentation (in pdf, in ps) of the paper: E. Giunchiglia, M. Maratea An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. In Proc. ASP'05.

  • Presentation (in pdf, in ps) at the Department of Mathematics of the University of Calabria Rende (CS), Italy.
    Title: Propositional Satisfiability (SAT), SAT-based Answer Set Programming and relation between SAT and ASP. Jun 16 2005.

  • Presentation (in pdf, in ps) at the Department of Physics - Section of Computer Science of the University of Naples "Federico II" Naples, Italy, EU.
    Title: Propositional Satisfiability (SAT) and SAT-based Decision Procedures. Jun 13 2005.

  • Presentation (in pdf, in ps) at the Dagtuhl Seminars on Nonmonotonic Reasoning, Answer Set Programming and Constraints Dagstuhl, Germany, EU, j.w.w. E. Giunchiglia.
    Title: On the relation between Answer Set and SAT procedures. Apr 26 2005.

  • Presentation (in pdf, in ps) at the Combination of Decision Procedures Summer School 2004 , Menlo Park, SRI Interational, CA, j.w.w. A. Armando, C. Castellini, E. Giunchiglia.
    Title: TSAT++: SAT-Based Solver for Separation Logic. Aug 12 2004.

  • Presentation (in pdf, in ps) at Kestrel Institute , Palo Alto, CA, j.w.w. E. Giunchiglia et al.
    Title: Propositional Satisfiability (SAT) and SAT-Based Decision Procedures. Aug 6 2004.

  • Presentation (in pdf, in ps) of the paper: E. Giunchiglia, Yu. Lierler, M. Maratea A SAT-Based Answer Set programming. In Proc. of AAAI04.

  • Presentation (in pdf, in ps) of the paper: A. Armando, C. Castellini, E. Giunchiglia, M. Maratea A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. In Proc. SAT04. May 10-13 Vancouver, Canada.

  • Presentation (in pdf, in ps) at the Computer Science Laboratory at SRI Interational , Menlo Park, CA, j.w.w. A. Armando, C. Castellini, E. Giunchiglia.
    Title: TSAT++: SAT-Based Solver for Separation Logic. April 26 2004.

  • Presentation (in pdf, in ps) of the paper: Yu. Babovich, M. Maratea Computing Answer Sets of a Logic Program via enumeration of SAT certificates. Accepted to ASP03. September 26-29, Messina, Sicily, Italy (EU). Also the poster version (in pdf, in ps) is available

  • Presentation (in pdf, in ps) of the paper: E. Giunchiglia, M. Maratea, A. Tacchella Look-Ahead vs. Look-Back Techniques in a Modern SAT Solver. Accepted for publication to SAT 2003

  • Presentation (in pdf, in ps) of the paper: E. Giunchiglia, M. Maratea, A. Tacchella Dependent and Independent Variables in Propositional Satisfiability. in Proc. of JELIA 2002