Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. B. van Linder

Bernd van Linder

select other reports

this selection

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

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

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.cs.uu.nl/research/techreps/repo/CS-1998/1998-08.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1997/1997-14.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1997/1997-06.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1997/1997-03.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1995/1995-40.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1995/1995-08.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1994/1994-53.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1994/1994-48.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1994/1994-37.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1994/1994-08.ps.gz}},
urlpdf = {{http://www.cs.uu.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.cs.uu.nl/research/techreps/repo/CS-1993/1993-30.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-30.pdf}},
pubcat = {techreport}
}