Enrico Giunchiglia
5 papers · 2020–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
๐
Conference Polyglot
(2)
๐
Academic Marathon
(5)
๐
Interdisciplinary Bridge
๐งญ
Keyword Pioneer
๐
Cross-Pollinator
(12)
Conferences
AAAI (3)
IJCAI (2)
Top co-authors
Keywords
numeric planning
(2)
automated planning
(1)
constraint solving
(1)
automated reasoning
(1)
symbolic planning
(1)
answer set programming
(1)
planning algorithm
(1)
smt solving
(1)
classical planning
(1)
logic programming
(1)
optimal planning
(1)
stable model
(1)
action planning
(1)
satisfiability modulo theories
(1)
concurrent planning
(1)
pddl planning
(1)
conditional effect
(1)
satisfiability encoding
(1)
planning as satisfiability
(1)
optimization modulo theories
(1)
Papers
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)
AAAI 2026
Temporal Numeric Planning with Patterns
AAAI 2025
Rolling in Classical Planning with Conditional Effects and Constraints
IJCAI 2025
Symbolic Numeric Planning with Patterns
AAAI 2024
Optimal Planning Modulo Theories
IJCAI 2020