Augusto B. Corrêa
6 papers · 2018–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (7) 🐝 Cross-Pollinator (4)
🌈
Renaissance Researcher
(6)
🌉
Interdisciplinary Bridge
🧬
Topic Evolution
Conferences
AAAI (3)
IJCAI (3)
Top co-authors
Research topics
Keywords
classical planning
(3)
heuristic search
(3)
lifted planning
(2)
automated planning
(2)
knowledge compilation
(1)
discrete mathematics
(1)
polynomial time
(1)
quantitative reasoning
(1)
search algorithm
(1)
zero-knowledge proof
(1)
cryptographic protocol
(1)
admissible heuristic
(1)
state space
(1)
plan existence
(1)
a* algorithm
(1)
optimal expansion
(1)
tie-breaking strategy
(1)
generalized planning
(1)
first-order logic property
(1)
datalog program
(1)
Papers
Counting and Reasoning with Plans
AAAI 2025
Lifted Planning: Recent Advances in Planning Using First-Order Representations
IJCAI 2024
Zero-Knowledge Proofs for Classical Planning Problems
AAAI 2023
The FF Heuristic for Lifted Classical Planning
AAAI 2022
Generalized Potential Heuristics for Classical Planning
IJCAI 2019
Analyzing Tie-Breaking Strategies for the A* Algorithm
IJCAI 2018