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

technical reports : dr. K.V. Hindriks

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	dr. K.V. Hindriks

reports (4)

techrep_id	file	title / author
UU-CS-2000-13	ps.gz pdf	An embedding of ConGolog in 3APL K. V. Hindriks, Y. Lesperance, H. Levesque
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-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-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

indexed (co) authors

author		group
Boer, dr. F.S. de	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
Meyer, prof. dr. J-J.Ch.	all reports	intelligent systems	all reports

BibTeX entries

@TECHREPORT{UUCS200013,
author = {Hindriks, K.~V. and Lesperance, Y. and Levesque, H.},
year = 2000,
title = {An embedding of ConGolog in 3APL},
number = {UU-CS-2000-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-13.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-13.pdf}},
pubcat = {techreport}
}

@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{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{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}
}