PPaperPicks

Marco Maratea

8 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4IJCAI ×2CP ×1ICAPS ×1

Frequent coauthors

Mauro Vallati
×4
Francesco Percassi
×3
Matteo Cardellini
×3
Francesco Doria
×2
Enrico Giunchiglia
×2
Carmine Dodaro
×2
Martin Gebser
×1
Marco Mochi
×1
Simone Caruso
×1
Alice Tarzariol
×1
Andreas Schutt
×1
Jip J. Dekker
×1

Papers

  1. A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation
    AAAI 2026 ·
    Francesco Doria
    ,
    Francesco Percassi
    , Marco Maratea,
    Mauro Vallati
  2. A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)
    AAAI 2026 ·
    Martin Gebser
    ,
    Enrico Giunchiglia
    , Marco Maratea,
    Marco Mochi
  3. Traffic Signal Plans Explorer: A General Framework for Visualising Traffic Evolution
    AAAI 2026 ·
    Francesco Doria
    ,
    Francesco Percassi
    , Marco Maratea,
    Mauro Vallati
  4. A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
    IJCAI 2025 ·
    Simone Caruso
    ,
    Carmine Dodaro
    , Marco Maratea,
    Alice Tarzariol
  5. Constraint-Based In-Station Train Dispatching
    CP 2025 ·
    Andreas Schutt
    ,
    Matteo Cardellini
    ,
    Jip J. Dekker
    ,
    Daniel Harabor
    , Marco Maratea,
    Mauro Vallati
  6. Initial Condition Retrieving for Hybrid and Numeric Planning Problems
    ICAPS 2025 ·
    Matteo Cardellini
    ,
    Francesco Percassi
    , Marco Maratea,
    Mauro Vallati
  7. AMO-aware Aggregates in Answer Set Programming
    IJCAI 2024 ·
    Mario Alviano
    ,
    Carmine Dodaro
    ,
    Salvatore Fiorentino
    , Marco Maratea
  8. Symbolic Numeric Planning with Patterns
    AAAI 2024 ·
    Matteo Cardellini
    ,
    Enrico Giunchiglia
    , Marco Maratea