hFi / Cambridge University Press / MIT Press / MultiAgent Systems / Multi-Agent Systems / ACM Press / /
Country
United States / Portugal / / /
Event
Person Communication and Meetings / /
Facility
University of Bergen / Thomas Agotnes Natasha Alechina University of Bergen / Stanford University / University of Nottingham UK nza@cs.nott.ac.uk Abstract Traditional / /
IndustryTerm
weaker systems / epistemic operator / large software / generic operator / rule applications / modal systems / intermediate systems / /
NaturalFeature
Sierra et al. / /
Organization
Cambridge University / ATOMS / MIT / Stanford University / Thomas Agotnes Natasha Alechina University / American Association for Artificial IntelliCopyright / Department of Informatics / University of Nottingham UK nza@cs.nott.ac.uk Abstract Traditional / V(v) / Royal Society / University of Bergen / /
Person
Thomas Agotnes / Natasha Alechina / Marc Bezem / Elias Thijsse / Ki Ki / Michal Walicki / Thomas Agotnes Natasha / /
Position
general canonical model / MP / general systems containing axioms / canonical model for Kn / /
ProvinceOrState
New Jersey / Delaware / Florida / Massachusetts / /
Semantics for Dynamic Syntactic Epistemic Logics ˚ Thomas Agotnes Natasha Alechina