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 |
Updates of argumentation frameworks J ©efránek Proceedings of the 14th International Workshop on Non-Monotonic Reasoning. Rome, 2012 | 9 | 2012 |
A Kripkean semantics for dynamic logic programming J ©efránek Logic for Programming and Automated Reasoning: 7th International Conference …, 2000 | 9 | 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 |
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 | 7 | 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 Procs. of NMR 2004, 2004 | 6 | 2004 |
Conflict resolution in assumption-based frameworks M Baláľ, J Frtús, G Flouris, M Homola, J ©efránek Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech …, 2015 | 4 | 2015 |
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 |
Dyanmic Kripke Structures J ©efránek CAEPIA'97: actas, 271-283, 1997 | 3 | 1997 |
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 |