Enrico Giunchiglia
5 papers · 2020–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
Top co-authors
Research topics
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
Rolling in Classical Planning with Conditional Effects and Constraints
IJCAI 2025
Temporal Numeric Planning with Patterns
AAAI 2025
Symbolic Numeric Planning with Patterns
AAAI 2024
Optimal Planning Modulo Theories
IJCAI 2020