HOME cs.uu.nl home education contact library calendar search UU.NL
about us research people archive services jobs

publications by dr. B. van Linder

Bernd van Linder

dr. B. van Linder

some publications

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (2002). Formalising Abilities and Opportunities of Agents. In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 253-307). Dordrecht/Boston/London: Kluwer.

Dignum, F.P.M. & Linder, B. van (2002). Modeling Social Agents: Towards deliberate communication. In J-J.Ch. Meyer & J. Treur (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 357-380). Dordrecht, the Netherlands: Kluwer.

Meyer, J-J.Ch., Hoek, W. van der & Linder, B. van (2002). Motivational Attitudes in the KARO Framework. In J-J.CH. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 341-356). Dordrecht/Boston/London: Kluwer.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (2002). Seeing is Believing (And So Are Hearing and Jumping). In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 309-339). Dordrecht/Boston/London: Kluwer.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formalising abilities and opportunities of agents. (UU-CS1998-08 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34(1,2), 53-101.

Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1997). An integrated modal approach to rational agents. (UU-CS1997-06 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Linder, B. van, Meyer, J-J.Ch. & Hoek, W. van der (1997). Formalizing motivational attitudes of agents using the KARO framework. (UU-CS1997-03 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1997). Group knowledge isn't always distributed (neither is it always implicit). (UU-CS1997-14 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1997). Seeing is Believing (And So Are Hearing and Jumping). Journal of logic, language and information, 6(2), 33-61.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1997). The dynamics of Default Reason. Data and Knowledge Engineering, 21(3), 317-346.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1996). Formalising motivational attitudes of agents: On preferences, goals and commitments. In M. Wooldridge, J. Mueller & M. Tambe (Eds.), Intelligent Agents Volume II - Agent Theories, Architectures, and languages (ATAL '96) (pp. 17-32). Berlin, Germany: Springer.

Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1996). Group knowledge isn't always distributed. In J-J.Ch. Meyer & L.C. van der Gaag (Eds.), Proceedings of the eight Dutch Conference on Artificial Intelligence (NAIC 96) (pp. 205-212). Utrecht: Utrecht University.

Linder, B. van (1996, June 19). Modal Logics for Rational Agents. Utrecht University (Utrecht, the Netherlands: Utrecht University). Prom./coprom.: prof. dr. J-J.Ch. Meyer & dr. W. van der Hoek.

Linder, B. van (1995). A dynamic logic of iterated belief change. (UU-CS1995-40 ). Utrecht: Utrecht University.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1995). Seeing is believing - And so are hearing and jumping. (UU-CS1995-08 ). Utrecht: Utrecht University.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting. (UU-CS1994-53 ). Utrecht.

Huibers, T.W.C. & Linder, B. van (1994). Een theorie voor het bestuderen van information retrieval modellen (in Dutch). (UU-CS1994-37 ). Utrecht.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). Tests as epistemic updates - pursuit of knowledge. (UU-CS1994-08 ). Utrecht.

Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). The dynamics of default reasoning. (UU-CS1994-48 ). Utrecht.

Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1993). Unravelling nondeterminism: On having the ability to choose. (RUU-CS93-30 ). Utrecht.


valid-html401 webmaster@cs.uu.nl, Tue, 21 May 2013 08:59:49 +0200 ← Departement Informatica, Universiteit Utrecht