| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Maratea, Ivan Serina, Paolo Torroni |
Preface.  |
Fundam. Inform.  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guy Mailly, Marco Maratea |
Assessment of benchmarks for abstract argumentation. |
Argument & Computation |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro |
An ASP-based framework for operating room scheduling. |
Intelligenza Artificiale |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Seventh Answer Set Programming Competition: Design and Results. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Marco Maratea |
Abstract Solvers for Computing Cautious Consequences of ASP programs. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran |
Design and Results of the Second International Competition on Computational Models of Argumentation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Marco Maratea |
Abstract Solvers for Computing Cautious Consequences of ASP programs. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
Evaluation of Disjunctive Programs in WASP. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro |
An ASP-based Solution for Operating Room Scheduling with Beds Management. |
RuleML+RR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Gianluigi Greco, Marco Maratea, Francesco Scarcello (eds.) |
Discussion and Doctoral Consortium papers of AI*IA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019. |
DDC@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mauro Vallati, Marco Maratea |
On the Configuration of SAT Formulae. |
AI*IA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity. |
AI*IA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Andrea Formisano, Marco Maratea |
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". |
J. Exp. Theor. Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi |
Preface. |
Fundam. Inform. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran |
Abstract solvers for Dung's argumentation frameworks. |
Argument & Computation |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Marco Maratea |
Nurse (Re)scheduling via answer set programming. |
Intelligenza Artificiale |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Marco Maratea |
Shared aggregate sets in answer set programming. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
On the manipulation of articulated objects in human-robot cooperation scenarios. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti |
Cautious reasoning in ASP via minimal models and unsatisfiable cores. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Luca Pulina |
Translation-based approaches for solving disjunctive temporal problems with preferences. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Marco Maratea |
Shared aggregate sets in answer set programming. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti |
Cautious reasoning in ASP via minimal models and unsatisfiable cores. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
On the manipulation of articulated objects in human-robot cooperation scenarios. |
Robotics and Autonomous Systems |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Mauro Vallati (eds.) |
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. |
RCRA@FLoC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. |
RiCeRcA@AI*IA |
2018 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro |
Operating Room Scheduling via Answer Set Programming. |
AI*IA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Mauro Vallati (eds.) |
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018. |
RiCeRcA@Ai*iA |
2018 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro |
An Overview of ASP Applications in the Health-care Domain. |
RiCeRcA@AI*IA |
2018 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
Evaluation Techniques and Systems for Answer Set Programming: a Survey. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran |
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Giovanni Adorni, Stefano Cagnoni, Marco Gori |
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence. |
Intelligenza Artificiale |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Sixth Answer Set Programming Competition. |
J. Artif. Intell. Res. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc |
CASP Solutions for Planning in Hybrid Domains. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc |
CASP solutions for planning in hybrid domains. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Seventh Answer Set Programming Competition. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Marco Maratea |
Nurse Scheduling via Answer Set Programming. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Marco Maratea |
An Advanced Answer Set Programming Encoding for Nurse Scheduling. |
AI*IA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Ivan Serina (eds.) |
Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017. |
RCRA@AI*IA |
2017 |
DBLP BibTeX RDF |
|
| 1 | Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati |
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. |
AI*IA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni |
Preface. |
Fundam. Inform. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Inclezan, Marco Maratea, Victor W. Marek |
Preface. |
Fundam. Inform. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Mancini, Marco Maratea, Francesco Ricca |
Experimental evaluation of algorithms for solving problems with combinatorial explosion. |
AI Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina |
6th Italian Workshop on Planning and Scheduling (IPS 2015). |
Intelligenza Artificiale |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca |
Design and results of the Fifth Answer Set Programming Competition. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Marco Maratea, Francesco Ricca |
Systems, Engineering Environments, and Competitions. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | Marcello Balduccini, Daniele Magazzeni, Marco Maratea |
PDDL+ Planning via Constraint Answer Set Programming. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Rémi Brochenin, Marco Maratea, Yuliya Lierler |
Disjunctive answer set solvers via templates. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
What's Hot in the Answer Set Programming Competition. |
AAAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran |
Introducing the Second International Competition on Computational Models of Argumentation. |
SAFA@COMMA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Andrea Formisano, Marco Maratea (eds.) |
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea (eds.) |
AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings |
AI*IA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Mancini, Marco Maratea, Francesco Ricca |
20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". |
J. Exp. Theor. Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Brochenin, Yuliya Lierler, Marco Maratea |
Disjunctive Answer Set Solvers via Templates. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-engine ASP solving with policy adaptation. |
J. Log. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran |
Abstract Solvers for Dung's Argumentation Frameworks. |
TAFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Marco Maratea, Viviana Mascardi (eds.) |
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Rémi Brochenin, Marco Maratea |
Abstract Answer Set Solvers for Cautious Reasoning. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-level Algorithm Selection for ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Sixth Answer Set Programming Competition - - Report -. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina |
An Ontology-Based Archive for Historical Research. |
Description Logics |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Advances in Multi-engine ASP Solving. |
AI*IA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Brochenin, Marco Maratea |
Abstract Solvers for Quantified Boolean Formulas and their Applications. |
AI*IA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Andrea Formisano, Marco Maratea (eds.) |
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina (eds.) |
Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. |
IPS@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina |
An Ontology for Historical Research Documents. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina |
Efficient DTPP solving with a reduction-based approach. |
Intelligenza Artificiale |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Fifth Answer Set Programming Competition. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-engine ASP Solver ME-ASP: Progress Report. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
A multi-engine approach to answer-set programming. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Brochenin, Yuliya Lierler, Marco Maratea |
Abstract Disjunctive Answer Set Solvers. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
A Multi-Engine Approach to Answer Set Programming. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Maggi, Marco Maratea, Simona Sacone, Silvia Siri |
Computational analysis of freeway traffic control based on a linearized prediction model. |
CDC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta |
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. |
ICAPS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jean-Rémi Bourguet, Marco Maratea, Luca Pulina |
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. |
AI*IA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Automated Selection of Grounding Algorithm in Answer Set Programming. |
AI*IA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina |
Solving disjunctive temporal problems with preferences using maximum satisfiability. |
AI Commun. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea |
Planning as satisfiability with IPC simple preferences and action costs. |
AI Commun. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Applying Machine Learning Techniques to ASP Solving. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-Engine ASP Solver me-asp. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca |
Look-back Techniques for ASP Programs with Aggregates. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Introducing Preferences in Planning as Satisfiability. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina |
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. |
AI*IA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
Solving satisfiability problems with preferences. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea |
An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems. |
RCRA@CPAIOR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |
DLVMC: Enhanced Model Checking in DLV. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Improving Plan Quality in SAT-Based Planning. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Carthel, Stefano Coraluppi, Peter Willett 0001, Marco Maratea, Alain Maguer |
Maximum likelihood approach to HF radar performance characterization. |
FUSION |
2009 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Nicola Leone, Marco Maratea |
On the relation among answer set solvers. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20 |
| 1 | Marco Maratea, Francesco Ricca, Wolfgang Faber 0001, Nicola Leone |
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca |
Look-back Techniques for ASP Programs with Aggregates. |
RCRA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
Computing All Optimal Solutions in Satisfiability Problems with Preferences. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca |
Experimenting with Look-Back Heuristics for Hard ASP Programs. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Planning as Satisfiability with Preferences. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea |
Efficient decision procedures for the integration of planning and formal verification in advanced systems. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
Answer Set Programming Based on Propositional Satisfiability. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
answer set programming, propositional satisfiability |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license