Bita Banihashemi
4 papers · 2016–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
๐ 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)