PPaperPicks

Marco Montali

5 papers at tracked venues · 3 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ECAI ×1KR ×1

Frequent coauthors

Thomas Bolander
DBLP profile ↗ORCID search ↗
×1
Andrei Buliga
DBLP profile ↗ORCID search ↗
×1
Luca Geatti
DBLP profile ↗ORCID search ↗
×1
Alessandro Gianola
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Depth-Bounded Epistemic Planning
    KR 2025 ·
    Thomas Bolander
    DBLP profile ↗ORCID search ↗
  2. Generating Counterfactual Explanations Under Temporal Constraints
    AAAI 2025 ·
    Andrei Buliga
    DBLP profile ↗ORCID search ↗
  3. AI for Declarative Processes: Representation, Mining, Synthesis
    ECAI 2024 · Marco Montali
  4. Foundations of Reactive Synthesis for Declarative Process Specifications
    AAAI 2024 ·
    Luca Geatti
    DBLP profile ↗ORCID search ↗
  5. Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
    AAAI 2024 ·
    Alessandro Gianola
    DBLP profile ↗ORCID search ↗