Skip to ContentSkip to Navigation
OnderzoekBernoulli InstituteDepartmentsFundamental ComputingPublications

Publications 2003

Dissertations 

  • B.P. Kooi, Knowledge, Chance, and Change (2003) x + 172 p., ILLC Dissertation Series 2003-01, Amsterdam 

Contributions to books 

  • H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi. Descriptions of game states. In: G. Mints and R. Muskens, Games, Logic, and Constructive Sets. CSLI Lecture Notes Number 161 (2003) 43--58, CSLI Publications, Stanford, USA
  • H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi, Concurrent dynamic epistemic logic. In: V.F. Hendricks, K.F. Jörgensen, S.A. Pedersen (Eds.), Knowledge Contributors (2003) 105--143, Kluwer Academic Publishers 

Articles in scientific journals 

  • B.P. Kooi, Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (2003) 381--408

  • B.P. Kooi, H.P. van Ditmarsch, W. van der Hoek, A description language for dynamic epistemic actions. The Bulletin of Symbolic Logic 9 (2003) 260--261

  • W.H. Hesselink, Preference rankings in the face of uncertainty. Acta Informatica 39 (2003) 211--231

  • G.R. Renardel de Lavalette, Changing Modalities. Journal of Logic and Computation 13 (2003)

  • W.H. Hesselink, Salembier's Min-tree algorithm turned into breadth first search. Information Processing Letters 88 (2003) 225--229 

Articles in conference proceedings 

  • J. le Feber and B. Ballast, Development of a decision support system for anaesthesiologists. Proceedings of ICAAI(International Conference on Applied Artificial Intelligence), Kolhapur, India, December 2003
  • C. Pott, D. Fetchenhauer and J. le Feber, A cognitive process model for decision making in anaesthesia. In: Proceedings European Society for Computing and Technology in Anaesthesia and Intensive Care (2003), p. 48, Berlin, Germany
  • H.P. van Ditmarsch and B.P. Kooi, Unsuccessful updates. In:Álvarez, R. Bosch, L. Villamil (eds.), Proceedings of the 12th International Congress of Logic Methodology and Philosphy of Science (2003), 139--140, Oviedo University Press, Spain
  • H.P. van Ditmarsch, W. van van der Hoek, and B.P. Kooi, Concurrent Epistemic Dynamic Logic for MAS. In: J.S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo (eds.), Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (2003), 201--208
  • H.W. de Haan, W.H. Hesselink, G.R. Renardel de Lavalette, Knowledge-based programming inspired by an asynchronous hardware leader election problem. In: B. Dunin-Keplicz, R. Verbrugge (eds.), FAMAS'03 - Formal Approaches to Multi-Agent Systems (proceedings of an international workshop, 2003), 117--132, ETAPS 2003, Warsaw, Poland

 

Other publications

 
  • B.P. Kooi, Modal action logics for reasoning about reactive systems (book review). BNVKI newsletter 20 (2003), 80--82
Last modified:31 May 2018 4.38 p.m.