Recent works

• knowledge representation and nonmonotonic reasoning
• cognitive semantics
• others

• Sefranek, J., Preferred answer sets supported by arguments In Proc. of NMR 2008, Sydney

• Sefranek, J., Updates of logic programs In Computers and Informatics 2007

• Sefranek, J., Irrelevant updates and nonmonotonic assumtions. ps pdf A shortened version appeared in Proc. of JELIA 2006.
• Sefranek, J., Rethinking semantics of dynamic logic programming. Proc. of NMR 2006 ps pdf
• Sefranek, J., Irrelevant updates of nonmonotonic knowledge bases. Proc. of ECAI 2006 ps pdf
• Sefranek, J., Nonmonotonic integrity constraints ps pdf 10th Workshop on logic programming, Vienna 2006
• Sefranek, J., Reprezentacia neuplnych a nekonzistentnych znalosti. Znalosti 2006. ps pdf

• Sefranek, J., Updates of nonmonotonic knowledge bases, in Proc. of Znalosti 2005 ps pdf
• Sefranek, J., Dependency theory for logic program updates, in Proc. of Znalosti 2005 ps pdf

• Sefranek, J., Semantic considerations on rejection Proc. of NMR 2004, Whistler, BC, Canada; also on-line proceedings
• Sefranek, J., Logicke programovanie a reprezentacia znalosti, Znalosti 2004 ps pdf
• Reprezentacia znalosti prostriedkami logickeho programovania rozsirena verzia predchadzajuceho

• Sefranek, J. A Kripkean Semantics for Dynamic Logic Programming. LPAR'2000 (Logic for Programming and Automated Reasoning), Springer Verlag, LNAI 1955, 2000 ps pdf abstract
• Sefranek, J. Knowledge, Belief, Revisions, and a Semantics of Non-Monotonic Reasoning. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.), Logic Programming and Non-Monotonic Reasoning, Springer, LNAI 1730, 63-77, 1999 ps pdf
• Sefranek, J. Dynamic Kripke Structures. CAEPIA'97, Actas de la VII Conferencia Asociacion Espanola para la Inteligencia Artificial, 1997, 271-283 ps pdf
• Sefranek, J. Inconsistencies Handling: Nonmonotonic and Paraconsistent Reasoning. Fundamentals of Artificial Intelligence Research, Springer Verlag 1991, LNAI 535, 214-219

• Sefranek, J., Knowledge represenation for animal reasoning. In Proc.of AKRR 2008

• Retova,D., Sillikova, J., Sefranek, J., Opice, psy, semantika a logika. In Kognice a umely zivot VII, 2007
• Sefrnek, J., Kogniivna teoria usudzovania. In Mysel, inteligencia a zivot, Bratislava 2007

• Sefranek, J. Vyznamy neexistuju. Kapitola v Jazyk a kognicia, editori Kvasnicka, Rybar, Farkas, Kaligram 2005 ps pdf Meanings doesn't exist a chapter from Cognition and Language (in Slovak)

• Sefranek, J., Kognitivna teoria usudzovania. V: Kognicia, umely zivot a pocitacova inteligencia. Stara Lesna 2003.

• Sefranek, J., Cognition without mental processes (in Slovak). A chapter in Benuskova, Kvasnicka, Rybar: Kognitivna veda (Cognitive science), Kaligram 2002 ps pdf
• Sefranek, J., Cognition without mental processes (in Slovak). In Kelemen (ed.), Kognice a umely zivot. Opava, 2002.

• Sefranek, J., O nevyjadritelnosti a nezrozumitelnosti. Kognitivne vedy II, zbornik prednasok zo seminara, februar 1999, 49-60

• Farkas, I., Sefranek, J., Takac,M. Vznik inteligencie v umelych systemoch to appear in Magdolen, D. (ed): Hmota-Zivot-Inteligencia: vznik, Bratislava
• Sefranek, J. Modely usudzovania In: Kvasnicka, Kelemen, POspichal (eds.) Modely mysle

• Sefranek, J. Ina cinska izba (o rozumeni) Another chinese room (about understanding). In: Svet jazyka a svet za jazykom. Bratislava.

• Sefranek, J. Jumping to conclusions , 2001,
• Sefranek, J. Evolucia poznania a dynamika usudzovania , 2001, (in Slovak), in J.Kelemen, V.Kvasnicka, J. Pospichal (eds.): Kognice a umely zivot, Slezska univerzita v Opave, 2001

• Sefranek, J. Poznatky a usudzovanie , 2000, (In Slovak), Internet Distance Education Program: Cognitive Science Course, Open Society Found, Bratislava, http://math.chtf.stuba.sk/kog_vedy.htm

• Sefranek, J. Conceptual Interfaces. Cognitive Systems 5-3, Dec. 1999, 255-270.

• Kirchheimova, H., Kravcik, M., Sefranek, J. MONSTER: An Architecture for Relationships Modelling and Information Access. Proceedings of the East-West International Conference on Computer Technologies in Education, September 1994, Crimea, Ukraine