Department of Information and Computing Sciences

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

technical reports : dr. K.V. Hindriks

Koen  Hindriks

select other reports

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