Sfoglia per Autore
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals
2007-01-01 Giunchiglia, Enrico; Maratea, Marco
Planning as Satisfiability with Preferences
2007-01-01 Giunchiglia, Enrico; Maratea, Marco
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming
2008-01-01 Faber, W; Ricca, Francesco; Leone, Nicola; M., Maratea
A new Approach for Solving Satisfiability Problems with Qualitative Preferences
2008-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers
2008-01-01 Maratea, M; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola
Computing All Optimal Solutions in Satisfiability Problems with Preferences
2008-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Improving Plan Quality in SAT-Based Planning
2009-01-01 Giunchiglia, Enrico; Maratea, Marco
A generate-and-test approach for computing "optimal" plans in SAT-based planning
2009-01-01 Giunchiglia, Enrico; Maratea, Marco
Maximum likelihood approach to HF radar performance characterization
2009-01-01 Carthel, Craig; Coraluppi, Stefano; Willett, Peter; Maratea, Marco; Maguer, Alain
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences
2010-01-01 Giunchiglia, Enrico; Maratea, Marco
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems
2010-01-01 Maratea, Marco
Solving satisfiability problems with preferences
2010-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
DLVMC: Enhanced Model Checking in DLV
2010-01-01 Maratea, M; Ricca, Francesco; Veltri, P.
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions
2011-01-01 Maratea, Marco; Pulina, Luca
Look-back Techniques for ASP Programs with Aggregates
2011-01-01 Faber, Wolfgang; Maratea, M; Leone, Nicola; Ricca, Francesco
Introducing Preferences in Planning as Satisfiability
2011-01-01 Giunchiglia, Enrico; Maratea, Marco
Solving Train Load Planning Problems with Boolean Optimization
2012-01-01 Foti, Lorenzo; Maratea, Marco; Sacone, Simona; Siri, Silvia
The Multi-Engine ASP Solver me-asp
2012-01-01 Maratea, M; Pulina, L; Ricca, Francesco
Applying Machine Learning Techniques to ASP Solving
2012-01-01 Maratea, M; Pulina, L; Ricca, Francesco
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints
2012-01-01 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile