Concepedia

Barteld Kooi

BK

33

Publications

2.5K

Citations

20

H-Index

2003

Active since

Affiliations

University of Groningen(Current)

University of Liverpool

University of Otago

Faculty (United Kingdom)

University of Amsterdam

Barteld Kooi is an author at University of Groningen specializing in automated reasoning, engineering, and semantics.

Top concepts

Automated ReasoningEngineeringComputer ScienceSemanticsEpistemologyFormal MethodsFormal VerificationLanguageLinguisticsVerification

Publications per year

2003–2020

33

Publications

33

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems

Barteld Kooi, Hans van Ditmarsch, Wiebe van der Hoek · 2011 · 985 citations

Artificial Intelligence, Agent-based System, Engineering +14

Dynamic epistemic logic and knowledge puzzles

Wiebe van der Hoek, Barteld Kooi, Hans van Ditmarsch et al. · Data Archiving and Networked Services (DANS) · 2007 · 183 citations

Cognitive Science, Dynamic Epistemic Logic, Automated Reasoning +5

Dynamic epistemic logic with assignment

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld Kooi · 2005 · 134 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +12

Dynamic Update with Probabilities

Johan van Benthem, Jelle Gerbrandy, Barteld Kooi · Studia Logica · 2009 · 121 citations · Full text

Dynamic Update, Probability Logic, Observation Probabilities +13

Probabilistic Dynamic Epistemic Logic

Barteld Kooi · Journal of Logic Language and Information · 2003 · 112 citations

Rows per page

1–5 of 33