#### Filter Results:

- Full text PDF available (39)

#### Publication Year

2000

2017

- This year (3)
- Last 5 years (11)
- Last 10 years (23)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Johan van Benthem, Jan van Eijck, Barteld P. Kooi
- Inf. Comput.
- 2006

Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base languagewith a newnotion of… (More)

- Barteld P. Kooi
- Journal of Applied Non-Classical Logics
- 2007

In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we also study public substitution operators. We prove many of the results regarding expressivity and completeness using so-called reduction axioms. We develop a general method for… (More)

- Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi
- Studia Logica
- 2009

Conditional probabilities Pi(φ | A) describe how agent i’s probability distributions for propositions φ change as new information A comes in. The standard probabilistic calculus describing such changes revolves around Bayes’ Law in case the new information A is factual, concerning some actual situation under investigation. But there are also proposed… (More)

- Barteld P. Kooi
- Journal of Logic, Language and Information
- 2003

In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order information into account. Probabilistic epistemic models are defined,… (More)

- Barteld P. Kooi
- ICGA Journal
- 2005

Over the years many easily computable strategies for the game of Mastermind have been proposed. In this paper we present a new strategy (at least to our knowledge) that performs better than the wellknown strategies: guess the code that has the highest number of possible answers. It is motivated and compared to four well-known strategies. Some empirical… (More)

- Hans van Ditmarsch, Barteld P. Kooi
- ArXiv
- 2006

We give some semantic results for an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed about the non-changing state of the world, and ontic changes, wherein the world changes. The events are executed in information states that are modeled as… (More)

- Barteld P. Kooi, Allard M. Tamminga
- J. Philosophical Logic
- 2008

Two groups of agents, G1 and G2, face a moral conflict if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like ‘In the interest of group F of agents, group G of agents ought to see to it… (More)

- Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
- AAMAS
- 2005

We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. We make a distinction between 'public assignment' and 'atomic assignment'. Public assignment means that the entire group of agents is aware of the factual change. This operation… (More)

- Barteld P. Kooi
- 2003

rijksuniversiteit groningen knowledge, chance, and change proefschrift ter verkrijging van het doctoraat in de Wiskunde en Natuurwetenschappen aan de Rijksuniversiteit Groningen op gezag van de Rector Magnificus, dr. F. Zwarts, in het openbaar te verdedigen op vrijdag september om . uur door Barteld Pieter Kooi geboren op augustus te… (More)

- Hans van Ditmarsch, Barteld P. Kooi
- Synthese
- 2006

In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is ‘fact p is true and you don’t know that’,… (More)