Jan Sefranek
Title
Cited by
Cited by
Year
Kognícia bez mentálnych procesov
J Šefránek
Kognitívne vedy. Bratislava: Kaligram, 200-256, 2002
222002
Inteligencia ako výpočet
J Šefránek
Iris, 2000
202000
Irrelevant updates and nonmonotonic assumptions
J Šefránek
European Workshop on Logics in Artificial Intelligence, 426-438, 2006
192006
Static and dynamic semantics: Preliminary report
J Šefránek
Mexican International Conference on Artificial Intelligence, 36-42, 2011
142011
Preferred answer sets supported by arguments
J Šefránek
Proceedings of 12th International Workshop on Non-Monotonic Reasoning (NMR …, 2008
112008
A Kripkean semantics for dynamic logic programming
J Šefránek
International Conference on Logic for Programming Artificial Intelligence …, 2000
92000
Rethinking semantics of dynamic logic programming
J Šefránek
Proceedings of NMR, 2006
82006
Resolving conflicts in knowledge for ambient intelligence
M Homola, T Patkos, G Flouris, J Sefranek, A Simko, J Frtus, D Zografistou, ...
The Knowledge Engineering Review 30 (5), 455, 2015
72015
Warranted derivation of preferred answer sets
J Šefránek, A Šimko
19th International Conference on Applications of Declarative Programming and …, 2011
72011
Updates of argumentation frameworks
J Šefránek
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning. Rome, 2012
62012
Vznik inteligencie v umelých systémoch
J Šefránek, M Takáč, I Farkaš
Magdolen, D.: Hmota, život, inteligencia: Vznik. VEDA, Bratislava, 2008
62008
Semantic considerations on rejection
J Šefránek
Procs. of NMR 2004, 2004
62004
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
52014
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
42014
Opice, psy, sémantika a logika
D Retová, J Šillová, J Šefránek
Kognice a umelý život VII. Slezská univerzita, Opava, 2007
32007
Irrelevant updates of nonmonotonic knowledge bases
J Šefránek, J Šiška
Accepted as a poster for ECAI, 2006
32006
Dyanmic Kripke Structures
J Šefránek
CAEPIA'97: actas, 271-283, 1997
31997
Updates of logic programs
J Šefránek
Computing and Informatics 26 (3), 225-238, 2012
22012
A descriptive approach to preferred answer sets
J Šefránek, A Šimko
Applications of Declarative Programming and Knowledge Management, 195-214, 2011
22011
Kognitívna teória usudzovania
J Šefránek
Myseľ, inteligencia a život, 233-239, 2007
22007
The system can't perform the operation now. Try again later.
Articles 1–20