Properties of Kripkean Updates

(a working title)

About the author

Jan Senko is a student of Faculty of Mathematics, Physics and Informatics of Comenius University during 1998-2004, currently in his last year. His majors are parallel computing and artificial intelligence. Fields of interest are knowledge representation and non-monotonic reasoning.

About the advisor

Advisor of the master thesis is Jan Sefranek, PhD., who also leads a seminar about non-monotonic reasoning and knowledge representation.

About the thesis

Kripkean semantics has been given as an alternative to conventional rules-based semantics by Sefranek in 2000. Since then some of their properties were analysed (Rejections, relation to stable models...) and this work will be centered around some of their characteristics. An exact description will be specified later.

This page will be updated during the academic year 2003-2004.
Conact the author by email at: janos ANTISPAM