Aaron Hunter
4 papers · 2015–2021 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
❓
The Questioner
📈
Trend Setter
Venues
Top co-authors
Research topics
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)