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

technical reports : dr. C. Witteveen

select other reports

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

this selection

author	dr. C. Witteveen

reports (3)

techrep_id	file	title / author
UU-CS-1997-34	ps.gz pdf	Recovery of nonmonotonic theories C. Witteveen, W. van der Hoek
UU-CS-1995-39	pdf	Semantic Based Theory Revision in Nonmonotonic Logic C. Witteveen and W. van der Hoek
UU-CS-1994-56	pdf	Revision by Communication: Program by Consulting Weaker Semantics C. Witteveen and W. van der Hoek

indexed (co) authors

author		group
Hoek, prof. dr. W. van der	all reports	intelligent systems	all reports
Witteveen, dr. C.	all reports	intelligent systems	all reports

BibTeX entries

@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.computerscience.nl/research/techreps/repo/CS-1997/1997-34.ps.gz}},
urlpdf = {{http://www.computerscience.nl/research/techreps/repo/CS-1997/1997-34.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.computerscience.nl/research/techreps/repo/CS-1995/1995-39.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.computerscience.nl/research/techreps/repo/CS-1994/1994-56.pdf}},
pubcat = {techreport}
}