Barteld P. Kooi

Artificial Intelligence · 2006–2015

A researcher in the Science corpus: 3 papers; trusts 5 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 12 citations into it; #32,979 of 35,345 by trust here, #28,481 by citations

Whom Barteld P. Kooi trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. J. Benthem
2. Alexandru Baltag
3. Ronald Fagin
4. Bernhard Beckert
5. Larry Moss

Who trusts Barteld P. Kooi overall

1. J. Benthem

Papers from Barteld P. Kooi's perspective

Ordered by how strongly the researchers Barteld P. Kooi trusts endorse each paper. Same corpus, a different order for every researcher.

1. Logics for Epistemic Programs (Synthese)
2. Dynamic logic (SIGA)
3. Reasoning about knowledge
4. One is a Lonely Number: on the logic of communication
5. Logics of communication and change (Information and Computation)
6. Modal Logic (Cambridge Tracts in Theoretical Computer Science)
7. Knowledge in Flux: Modeling the Dynamics of Epistemic States
8. How to do things with words
9. A qualitative theory of dynamic interactive belief revision
10. Studies on Natural Logic and Categorial Grammar

Their papers

• Logics of communication and change (2006) — 463 citations
• Dynamic Epistemic Logic (2007) — 632 citations
• Handbook of epistemic logic (2015) — 118 citations