Department of Information and Computing Sciences

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

technical reports : prof. dr. W. van der Hoek

Wiebe van der Hoek

select other reports

this selection

author prof. dr. W. van der Hoek

reports (26)

techrep_id file title / author
UU-CS-1999-30 ps.gz
pdf
An operational semantics for the single agent core of AGENT0
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1999-17 ps.gz
pdf
Open multi-agent systems: Agent communication and integration
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1999-09 ps.gz
pdf
Semantics of communicating agents based on deduction and abduction
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1999-08 ps.gz
pdf
Operational semantics for agent communication languages
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer
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-1998-07 ps.gz
pdf
A formal embedding of AgentSpeak(L) in 3APL
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1997-34 ps.gz
pdf
Recovery of nonmonotonic theories
C. Witteveen, W. van der Hoek
UU-CS-1997-16 ps.gz
pdf
A language for Modular Information-passing Agents
R. M. van Eijk, F. S. de Boer, 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-1996-52 pdf A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge
W. van der Hoek and J.J.-Ch. Meyer
UU-CS-1996-16 ps.gz
pdf
Interleaved contractions
W. van der Hoek, M. de Rijke
UU-CS-1995-39 pdf Semantic Based Theory Revision in Nonmonotonic Logic
C. Witteveen and W. van der Hoek
UU-CS-1995-19 pdf Modal Logics for Representing Incoherent Knowledge
J.J.Ch. Meyer and W. van der Hoek
UU-CS-1995-18 pdf A Modal Contrastive Logic: The Logic of `But' (revised version of UU-CS-1994-07)
J.J.Ch. Meyer and W. van der Hoek
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-56 pdf Revision by Communication: Program by Consulting Weaker Semantics
C. Witteveen and W. van der Hoek
UU-CS-1994-54 pdf Temporalizing Epistemic Default Logic
W. van der Hoek and J.-J. Ch. Meyer and J. Treur
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-08 ps.gz
pdf
Tests as epistemic updates - pursuit of knowledge
B. van Linder, W. van der Hoek, J-J. Ch. Meyer
UU-CS-1994-07 pdf A Modal Contrastive Logic: The Logic of `But`
J.J.-Ch. Meyer and W. van der Hoek
RUU-CS-93-44 pdf Graded Modal and Epistemic Logic
J.-J. Ch. Meyer and W. van der Hoek
RUU-CS-93-32 pdf Honesty in Partial Logic
W. van der Hoek, J. Jaspars and E. Thijsse
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
Boer, dr. F.S. de all reports Intelligent Systems all reports
Eijk, dr. R.M. van all reports Intelligent Systems all reports
Hindriks, dr. K.V. all reports Intelligent Systems all reports
Hoek, prof. dr. W. van der all reports Intelligent 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
Thijsse, dr. E.G.C. all reports Guests and Others all reports
Witteveen, dr. C. all reports Intelligent Systems all reports

BibTeX entries

@TECHREPORT{UUCS199930,
author = {Hindriks, K.~V. and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {An operational semantics for the single agent core of AGENT0},
number = {UU-CS-1999-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-30.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199917,
author = {Eijk, R.~M.~van and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {Open multi-agent systems: Agent communication and integration},
number = {UU-CS-1999-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-17.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199909,
author = {Hindriks, K.~V. and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {Semantics of communicating agents based on deduction and abduction},
number = {UU-CS-1999-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-09.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199908,
author = {Eijk, R.~M.~van and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {Operational semantics for agent communication languages},
number = {UU-CS-1999-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-08.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-08.pdf}},
pubcat = {techreport}
}
@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{UUCS199807,
author = {Hindriks, K.~V. and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1998,
title = {A formal embedding of AgentSpeak(L) in 3APL},
number = {UU-CS-1998-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199734,
author = {Witteveen, C. and Hoek, W.~van~der},
year = 1997,
title = {Recovery of nonmonotonic theories},
number = {UU-CS-1997-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-34.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199716,
author = {Eijk, R.~M.~van and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1997,
title = {A language for Modular Information-passing Agents},
number = {UU-CS-1997-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-16.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{UUCS199652,
author = {Hoek, W.~van~der and Meyer, J.J.-Ch.},
year = 1996,
title = {A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge},
number = {UU-CS-1996-52},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-52.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199616,
author = {Hoek, W.~van~der and Rijke, M.~de},
year = 1996,
title = {Interleaved contractions},
number = {UU-CS-1996-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199539,
author = {Witteveen, C. and Hoek, W.~van~der},
year = 1995,
title = {Semantic Based Theory Revision in Nonmonotonic Logic},
number = {UU-CS-1995-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-39.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199519,
author = {Meyer, J.J.Ch. and Hoek, W.~van~der},
year = 1995,
title = {Modal Logics for Representing Incoherent Knowledge},
number = {UU-CS-1995-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199518,
author = {Meyer, J.J.Ch. and Hoek, W.~van~der},
year = 1995,
title = {A Modal Contrastive Logic: The Logic of `But' (revised version of UU-CS-1994-07)},
number = {UU-CS-1995-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-18.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{UUCS199456,
author = {Witteveen, C. and Hoek, W.~van~der},
year = 1994,
title = {Revision by Communication: Program by Consulting Weaker Semantics},
number = {UU-CS-1994-56},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-56.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199454,
author = {Hoek, W.~van~der and Meyer, J.-J.~Ch. and Treur, J.},
year = 1994,
title = {Temporalizing Epistemic Default Logic},
number = {UU-CS-1994-54},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-54.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{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{UUCS199407,
author = {Meyer, J.J.-Ch. and Hoek, W.~van~der},
year = 1994,
title = {A Modal Contrastive Logic: The Logic of `But`},
number = {UU-CS-1994-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9344,
author = {Meyer, J.-J.~Ch. and Hoek, W.~van~der},
year = 1993,
title = {Graded Modal and Epistemic Logic},
number = {RUU-CS-93-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-44.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9332,
author = {Hoek, W.~van~der and Jaspars, J. and Thijsse, E.},
year = 1993,
title = {Honesty in Partial Logic},
number = {RUU-CS-93-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-32.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}
}