Aaron Hunter
4 papers
· 2015–2021
· 1 conference
· across top CS/AI conferences
Achievements
π
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)