PPaperPicks

Enrico Giunchiglia

6 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3KR ×2IJCAI ×1

Frequent coauthors

Matteo Cardellini
DBLP profile ↗ORCID search ↗
×5
Martin Gebser
DBLP profile ↗ORCID search ↗
×1

Papers

  1. A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)
    AAAI 2026 ·
    Martin Gebser
    DBLP profile ↗ORCID search ↗
  2. Optimal In-Station Train Dispatching via Symbolic Pattern Planning
    KR 2026 ·
    Matteo Cardellini
    DBLP profile ↗ORCID search ↗
  3. Pushing the Envelope in Numeric Pattern Planning
    KR 2025 ·
    Matteo Cardellini
    DBLP profile ↗ORCID search ↗
  4. Rolling in Classical Planning with Conditional Effects and Constraints
    IJCAI 2025 ·
    Matteo Cardellini
    DBLP profile ↗ORCID search ↗
  5. Temporal Numeric Planning with Patterns
    AAAI 2025 ·
    Matteo Cardellini
    DBLP profile ↗ORCID search ↗
  6. Symbolic Numeric Planning with Patterns
    AAAI 2024 ·
    Matteo Cardellini
    DBLP profile ↗ORCID search ↗