Shakil M. Khan
4 papers · 2022–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
AAAI (3)
IJCAI (1)
Top co-authors
Keywords
situation calculus
(4)
causal reasoning
(3)
nondeterministic domain
(2)
causal inference
(2)
automated reasoning
(1)
formal verification
(1)
program analysis
(1)
multi-agent game
(1)
logic programming
(1)
abstraction framework
(1)
abstract reasoning
(1)
multi-agent system
(1)
abstraction mapping
(1)
actual causation
(1)
program abstraction
(1)
strategic properties
(1)
refinement mapping
(1)
actual cause
(1)
nondeterministic reasoning
(1)
game theory
(1)