Augusto B. Corrêa
6 papers
· 2018–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🐣
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