Aaron Hunter
4 papers · 2015–2021 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🏃
Academic Marathon
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(11)
❓
The Questioner
Conferences
IJCAI (4)
Top co-authors
Keywords
epistemic logic
(2)
belief revision
(2)
parallel processing
(1)
hamming distance
(1)
complexity analysis
(1)
model checking
(1)
propositional logic
(1)
modal logic
(1)
multi-agent system
(1)
agm revision
(1)
allsat solver
(1)
public announcement
(1)
agm belief revision
(1)
announcement operator
(1)
knowledge representation
(1)
model revision
(1)
computational complexity
(1)