Šefránek, Ján Updates of logic programs. (English) Zbl 1249.68238 Comput. Inform. 26, No. 3, 225-238 (2007). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{J. Šefránek}, Comput. Inform. 26, No. 3, 225--238 (2007; Zbl 1249.68238)
Šefránek, Ján Irrelevant updates and nonmonotonic assumptions. (English) Zbl 1152.68596 Fisher, Michael (ed.) et al., Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39625-3/pbk). Lecture Notes in Computer Science 4160. Lecture Notes in Artificial Intelligence, 426-438 (2006). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{J. Šefránek}, Lect. Notes Comput. Sci. 4160, 426--438 (2006; Zbl 1152.68596) Full Text: DOI
Šefránek, Ján A Kripkean semantics for dynamic logic programming. (English) Zbl 0988.68030 Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 469-486 (2000). MSC: 68N17 68Q55 68T27 68T30 PDFBibTeX XMLCite \textit{J. Šefránek}, Lect. Notes Comput. Sci. 1955, 469--486 (2000; Zbl 0988.68030)
Šefránek, Ján Belief, knowledge, revisions, and a semantics of non-monotonic reasoning. (English) Zbl 0951.03012 Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 63-77 (1999). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B42 03B60 68T27 PDFBibTeX XMLCite \textit{J. Šefránek}, Lect. Notes Comput. Sci. 1730, 63--77 (1999; Zbl 0951.03012)