PPaperPicks

Marco Maratea

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4IJCAI ×2ICAPS ×1

Frequent coauthors

Francesco Doria
DBLP profile ↗ORCID search ↗
×2
Matteo Cardellini
DBLP profile ↗ORCID search ↗
×2
Martin Gebser
DBLP profile ↗ORCID search ↗
×1
Simone Caruso
DBLP profile ↗ORCID search ↗
×1
Mario Alviano
DBLP profile ↗ORCID search ↗
×1

Papers

  1. A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation
    AAAI 2026 ·
    Francesco Doria
    DBLP profile ↗ORCID search ↗
  2. A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)
    AAAI 2026 ·
    Martin Gebser
    DBLP profile ↗ORCID search ↗
  3. Traffic Signal Plans Explorer: A General Framework for Visualising Traffic Evolution
    AAAI 2026 ·
    Francesco Doria
    DBLP profile ↗ORCID search ↗
  4. A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
    IJCAI 2025 ·
    Simone Caruso
    DBLP profile ↗ORCID search ↗
  5. Initial Condition Retrieving for Hybrid and Numeric Planning Problems
    ICAPS 2025 ·
    Matteo Cardellini
    DBLP profile ↗ORCID search ↗
  6. AMO-aware Aggregates in Answer Set Programming
    IJCAI 2024 ·
    Mario Alviano
    DBLP profile ↗ORCID search ↗
  7. Symbolic Numeric Planning with Patterns
    AAAI 2024 ·
    Matteo Cardellini
    DBLP profile ↗ORCID search ↗