MARATEA, MARCO
MARATEA, MARCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A multi-engine approach to answer-set programming
2014-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Abstract Solvers for Computing Cautious Consequences of ASP programs
2019-01-01 Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
2022-01-01 Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Peter Wallner, Johannes; Woltran, Stefan
AI COVID-19
2021-01-01 Bacciu, D.; Girardi, E.; Maratea, M.; Sousa, J.
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
An ASP-based framework for operating room scheduling
2019-01-01 Dodaro, Carmine; Galata, Giuseppe; Maratea, Marco; Porro, Ivan
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
2021-01-01 Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I.
Answer Set Programming based on Propositional Satisfiability
2006-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
ASP-Core-2 Input Language Format
2020-01-01 Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
Assessment of benchmarks for abstract argumentation
2019-01-01 Mailly, Jean-Guy; Maratea, Marco
CASP Solutions for Planning in Hydrid Domains
2017-01-01 Balduccini, M.; Magazzeni, D.; Maratea, M.; Leblanc, E.
Cautious reasoning in ASP via minimal models and unsatisfiable cores
2018-01-01 Mario, Alviano; Dodaro, Carmine; Matti, Järvisalo; Maratea, Marco; Alessandro, Previti
Design and Results of the Fifth Answer Set Programming Competition
2016-01-01 Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco
Design and results of the Second International Competition on Computational Models of Argumentation
2020-01-01 Alice Gaggl, Sarah; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan
Disjunctive answer set solvers via templates
2016-01-01 Brochenin, Remi; Lierler, Yuliya; Maratea, Marco
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems
2006-01-01 Maratea, Marco
Efficient DTPP solving with a reduction-based approach
2014-01-01 Maratea, Marco; Pulina, Luca
Introducing Preferences in Planning as Satisfiability
2011-01-01 Giunchiglia, Enrico; Maratea, Marco
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
2008-01-01 Maratea, Marco; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola
Look-back Techniques for ASP Programs with Aggregates
2011-01-01 Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A multi-engine approach to answer-set programming | 1-gen-2014 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| Abstract Solvers for Computing Cautious Consequences of ASP programs | 1-gen-2019 | Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco | |
| Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving | 1-gen-2022 | Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Peter Wallner, Johannes; Woltran, Stefan | |
| AI COVID-19 | 1-gen-2021 | Bacciu, D.; Girardi, E.; Maratea, M.; Sousa, J. | |
| An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints | 1-gen-2012 | Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa | |
| An ASP-based framework for operating room scheduling | 1-gen-2019 | Dodaro, Carmine; Galata, Giuseppe; Maratea, Marco; Porro, Ivan | |
| An ASP-based Solution to the Chemotherapy Treatment Scheduling problem | 1-gen-2021 | Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I. | |
| Answer Set Programming based on Propositional Satisfiability | 1-gen-2006 | Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco | |
| ASP-Core-2 Input Language Format | 1-gen-2020 | Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten | |
| Assessment of benchmarks for abstract argumentation | 1-gen-2019 | Mailly, Jean-Guy; Maratea, Marco | |
| CASP Solutions for Planning in Hydrid Domains | 1-gen-2017 | Balduccini, M.; Magazzeni, D.; Maratea, M.; Leblanc, E. | |
| Cautious reasoning in ASP via minimal models and unsatisfiable cores | 1-gen-2018 | Mario, Alviano; Dodaro, Carmine; Matti, Järvisalo; Maratea, Marco; Alessandro, Previti | |
| Design and Results of the Fifth Answer Set Programming Competition | 1-gen-2016 | Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco | |
| Design and results of the Second International Competition on Computational Models of Argumentation | 1-gen-2020 | Alice Gaggl, Sarah; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan | |
| Disjunctive answer set solvers via templates | 1-gen-2016 | Brochenin, Remi; Lierler, Yuliya; Maratea, Marco | |
| Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems | 1-gen-2006 | Maratea, Marco | |
| Efficient DTPP solving with a reduction-based approach | 1-gen-2014 | Maratea, Marco; Pulina, Luca | |
| Introducing Preferences in Planning as Satisfiability | 1-gen-2011 | Giunchiglia, Enrico; Maratea, Marco | |
| Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers | 1-gen-2008 | Maratea, Marco; Ricca, Francesco; Faber, Wolfgang; Leone, Nicola | |
| Look-back Techniques for ASP Programs with Aggregates | 1-gen-2011 | Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco |