Bita Banihashemi
4 papers
· 2016–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(7)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
situation calculus
(3)
causal reasoning
(1)
strategic reasoning
(1)
program analysis
(1)
logic programming
(1)
abstraction framework
(1)
abstract reasoning
(1)
program abstraction
(1)
strong fond planning
(1)
refinement mapping
(1)
online execution
(1)
agent abstraction
(1)
ability reasoning
(1)
causal inference
(1)
actual cause
(1)