Department of Information and Computing Sciences

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

technical reports : dr. C. Witteveen

Cees  Witteveen

select other reports

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