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