About the authorJan 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 advisorAdvisor of the master thesis is Jan Sefranek, PhD., who also leads a seminar about non-monotonic reasoning and knowledge representation. About the thesisKripkean 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. |