conftrace_

Luigi Bonassi

5 papers · 2022–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 🌉 Interdisciplinary Bridge · Silver

Venues

AAAI (3) IJCAI (2)

Top co-authors

Enrico Scala (5) Alfonso Emilio Gerevini (3) Francesco Fuggitti (1) Pedro Zuidberg Dos Martires (1) Periklis Mantenoglou (1) Francesco Percassi (1) Giuseppe De Giacomo (1) Marco Favorito (1)

Research topics

Artificial Intelligence (5) Core AI (5) Knowledge & Reasoning (2) Machine Learning (2) Optimization & Theory (2) Reasoning (2) Computer Science (1) Mathematics & Optimization (1) Foundations (1) Optimization (1)

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