| Kognícia bez mentálnych procesov J Šefránek Kognitívne vedy. Bratislava: Kaligram, 200-256, 2002 | 22 | 2002 |
| Irrelevant updates and nonmonotonic assumptions J Šefránek Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006 | 20 | 2006 |
| Inteligencia ako výpočet J Šefránek Iris, 2000 | 20 | 2000 |
| Static and dynamic semantics: Preliminary report J Sefranek 2011 10th Mexican International Conference on Artificial Intelligence, 36-42, 2011 | 15 | 2011 |
| Preferred answer sets supported by arguments J Šefránek Proceedings of 12th International Workshop on Non-Monotonic Reasoning (NMR …, 2008 | 12 | 2008 |
| A Kripkean semantics for dynamic logic programming J Šefránek Logic for Programming and Automated Reasoning: 7th International Conference …, 2000 | 10 | 2000 |
| Resolving conflicts in knowledge for ambient intelligence M Homola, T Patkos, G Flouris, J Šefránek, A Šimko, J Frtus, D Zografistou, ... The Knowledge Engineering Review 30 (5), 455-513, 2015 | 8 | 2015 |
| Updates of argumentation frameworks J Šefránek Proceedings of the 14th International Workshop on Non-Monotonic Reasoning. Rome, 2012 | 8 | 2012 |
| Rethinking semantics of dynamic logic programming J Šefránek Proceedings of NMR, 2006 | 8 | 2006 |
| Warranted derivation of preferred answer sets J Šefránek, A Šimko 19th International Conference on Applications of Declarative Programming and …, 2011 | 6 | 2011 |
| Vznik inteligencie v umelých systémoch J Šefránek, M Takáč, I Farkaš Magdolen, D.: Hmota, život, inteligencia: Vznik. VEDA, Bratislava, 2008 | 6 | 2008 |
| Semantic considerations on rejection J Šefránek Proceedings of NMR 2004, 2004 | 6 | 2004 |
| Conflict resolution in assumption-based frameworks M Baláž, J Frtús, G Flouris, M Homola, J Šefránek European Conference on Multi-Agent Systems, 360-369, 2014 | 4 | 2014 |
| Embedding defeasible logic programs into generalized logic programs M Baláž, J Frtús, M Homola, J Šefránek, G Flouris Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014 …, 2014 | 4 | 2014 |
| Logic and cognitive science I Sedlár, J Šefránek Artificial Intelligence and Cognitive Science IV, 219-236, 2014 | 3 | 2014 |
| Opice, psy, sémantika a logika D Retová, J Šillová, J Šefránek Kognice a umelý život VII. Slezská univerzita, Opava, 2007 | 3 | 2007 |
| Irrelevant updates of nonmonotonic knowledge bases J Šefránek, J Šiška Accepted as a poster for ECAI, 2006 | 3 | 2006 |
| A descriptive approach to preferred answer sets J Šefránek, A Šimko International Conference on Applications of Declarative Programming and …, 2011 | 2 | 2011 |
| Kognitívna teória usudzovania J Šefránek Myseľ, inteligencia a život, 233-239, 2007 | 2 | 2007 |
| Updates of logic programs J Šefránek Computing and Informatics 26 (3), 225-238, 2007 | 2 | 2007 |
