Luigi Bonassi
5 papers · 2022–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (3)
IJCAI (2)
Top co-authors
Keywords
automated planning
(3)
planning domain
(2)
numeric planning
(2)
classical planning
(2)
planning compilation
(2)
constraint compilation
(2)
goal recognition
(1)
trajectory constraint
(1)
lifted planning
(1)
plan synthesis
(1)
regression analysis
(1)
pddl planning
(1)
compilation method
(1)
qualitative state-trajectory constraint
(1)
logarithmic encoding
(1)
conditional effect
(1)
action trajectory
(1)
temporal logic
(1)
plan constraint
(1)
temporal constraint
(1)
Papers
Two Constraint Compilation Methods for Lifted Planning
AAAI 2026
Towards Practical Classical Planning Compilations of Numeric Planning
AAAI 2025
Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning
AAAI 2024
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)
IJCAI 2024
Planning with Qualitative Action-Trajectory Constraints in PDDL
IJCAI 2022