tbc's homepage - master thesis

in june 2004 i wish to finish my master's degree study of computer science with major in artifical intelligence. the main research area for may thesis is:

semantics of dynamic logic programming
kripkean semantics aproach

for the winter term of 2003/2004 i am on a research stay at centria. here my research subject is to

compare the different existing aproaches to define semantics of dynamic logic programming

last update: 2003-11-20

my advisors are:

Mr. Jan Sefranek (mt advisor)
João Alexandre Leite (at centria)

other students involved in a working group on this subject:

Martin Lang
Jan Senko
Jozef Siska

for project status information check out the project's seminar homepage [sk].