technical reports : dr. B. van Linder

	about us	research	people	archive	services	jobs
	home	education	contact	library	calendar	search

technical reports : dr. B. van Linder

select other reports

technical report index page
below : list of indexed authors

this selection

author dr. B. van Linder

author	dr. B. van Linder

reports (11)

techrep_id file title / author

UU-CS-1998-08 ps.gz
pdf Formalising abilities and opportunities of agents
B. van Linder, W. van der Hoek, J-J. Ch. Meyer

UU-CS-1997-14 ps.gz
pdf Group knowledge isn't always distributed (neither is it always implicit)
W. van der Hoek, B. van Linder, J-J. Ch. Meyer

UU-CS-1997-06 ps.gz
pdf An integrated modal approach to rational agents
W. van der Hoek, B. van Linder, J-J. Ch. Meyer

UU-CS-1997-03 ps.gz
pdf Formalizing motivational attitudes of agents using the KARO framework
B. van Linder, J-J. Ch. Meyer, W. van der Hoek

UU-CS-1995-40 ps.gz
pdf A dynamic logic of iterated belief change
B. van Linder

UU-CS-1995-08 ps.gz
pdf Seeing is believing - And so are hearing and jumping
B. van Linder, W. van der Hoek, J-J. Ch. Meyer

UU-CS-1994-53 ps.gz
pdf Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting
B. van Linder, W. van der Hoek, J-J. Ch. Meyer

UU-CS-1994-48 ps.gz
pdf The dynamics of default reasoning
B. van Linder, W. van der Hoek, J-J. Ch. Meyer

UU-CS-1994-37 ps.gz
pdf Een theorie voor het bestuderen van information retrieval modellen (in Dutch)
T. W. C. Huibers, B. van Linder, P. D. Bruza

UU-CS-1994-08 ps.gz
pdf Tests as epistemic updates - pursuit of knowledge
B. van Linder, W. van der Hoek, J-J. Ch. Meyer

RUU-CS-93-30 ps.gz
pdf Unravelling nondeterminism: On having the ability to choose
W. van der Hoek, B. van Linder, J-J. Ch. Meyer

techrep_id	file	title / author
UU-CS-1998-08	ps.gz pdf	Formalising abilities and opportunities of agents B. van Linder, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1997-14	ps.gz pdf	Group knowledge isn't always distributed (neither is it always implicit) W. van der Hoek, B. van Linder, J-J. Ch. Meyer
UU-CS-1997-06	ps.gz pdf	An integrated modal approach to rational agents W. van der Hoek, B. van Linder, J-J. Ch. Meyer
UU-CS-1997-03	ps.gz pdf	Formalizing motivational attitudes of agents using the KARO framework B. van Linder, J-J. Ch. Meyer, W. van der Hoek
UU-CS-1995-40	ps.gz pdf	A dynamic logic of iterated belief change B. van Linder
UU-CS-1995-08	ps.gz pdf	Seeing is believing - And so are hearing and jumping B. van Linder, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1994-53	ps.gz pdf	Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting B. van Linder, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1994-48	ps.gz pdf	The dynamics of default reasoning B. van Linder, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1994-37	ps.gz pdf	Een theorie voor het bestuderen van information retrieval modellen (in Dutch) T. W. C. Huibers, B. van Linder, P. D. Bruza
UU-CS-1994-08	ps.gz pdf	Tests as epistemic updates - pursuit of knowledge B. van Linder, W. van der Hoek, J-J. Ch. Meyer
RUU-CS-93-30	ps.gz pdf	Unravelling nondeterminism: On having the ability to choose W. van der Hoek, B. van Linder, J-J. Ch. Meyer

indexed (co) authors

author group

Hoek, prof. dr. W. van der all reports intelligent systems all reports

Huibers, prof. dr. T.W.C. all reports algorithmic systems all reports

Linder, dr. B. van all reports intelligent systems all reports

Meyer, prof. dr. J-J.Ch. all reports intelligent systems all reports

author	group
Hoek, prof. dr. W. van der	all reports	intelligent systems	all reports
Huibers, prof. dr. T.W.C.	all reports	algorithmic systems	all reports
Linder, dr. B. van	all reports	intelligent systems	all reports
Meyer, prof. dr. J-J.Ch.	all reports	intelligent systems	all reports

BibTeX entries

@TECHREPORT{UUCS199808,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1998,
title = {Formalising abilities and opportunities of agents},
number = {UU-CS-1998-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1998/1998-08.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1998/1998-08.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199714,
author = {Hoek, W.~van~der and Linder, B.~van and Meyer, J-J.~Ch.},
year = 1997,
title = {Group knowledge isn't always distributed (neither is it always implicit)},
number = {UU-CS-1997-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-14.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-14.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199706,
author = {Hoek, W.~van~der and Linder, B.~van and Meyer, J-J.~Ch.},
year = 1997,
title = {An integrated modal approach to rational agents},
number = {UU-CS-1997-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-06.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-06.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199703,
author = {Linder, B.~van and Meyer, J-J.~Ch. and Hoek, W.~van~der},
year = 1997,
title = {Formalizing motivational attitudes of agents using the KARO framework},
number = {UU-CS-1997-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-03.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-03.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199540,
author = {Linder, B.~van},
year = 1995,
title = {A dynamic logic of iterated belief change},
number = {UU-CS-1995-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1995/1995-40.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1995/1995-40.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199508,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1995,
title = {Seeing is believing - And so are hearing and jumping},
number = {UU-CS-1995-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1995/1995-08.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1995/1995-08.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199453,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1994,
title = {Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting},
number = {UU-CS-1994-53},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-53.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-53.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199448,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1994,
title = {The dynamics of default reasoning},
number = {UU-CS-1994-48},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-48.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-48.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199437,
author = {Huibers, T.~W.~C. and Linder, B.~van and Bruza, P.~D.},
year = 1994,
title = {Een theorie voor het bestuderen van information retrieval modellen            (in Dutch)},
number = {UU-CS-1994-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-37.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-37.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS199408,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1994,
title = {Tests as epistemic updates - pursuit of knowledge},
number = {UU-CS-1994-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-08.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1994/1994-08.pdf}},
pubcat = {techreport}
}

@TECHREPORT{RUUCS9330,
author = {Hoek, W.~van~der and Linder, B.~van and Meyer, J-J.~Ch.},
year = 1993,
title = {Unravelling nondeterminism: On having the ability to choose},
number = {RUU-CS-93-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.computerscience.nl/research/techreps/repo/CS-1993/1993-30.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1993/1993-30.pdf}},
pubcat = {techreport}
}

webmaster@cs.uu.nl, Fri, 18 May 2012 23:47:24 +0200 ← Departement Informatica, Universiteit Utrecht