Follow
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
212002
Irrelevant updates and nonmonotonic assumptions
J Šefránek
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006
202006
Inteligencia ako výpočet
J Šefránek
Iris, 2000
192000
Static and dynamic semantics: Preliminary report
J Šefránek
Mexican International Conference on Artificial Intelligence, 36-42, 2011
152011
Preferred answer sets supported by arguments
J Šefránek
Proceedings of 12th International Workshop on Non-Monotonic Reasoning (NMR …, 2008
122008
A Kripkean semantics for dynamic logic programming
J Šefránek
Logic for Programming and Automated Reasoning: 7th International Conference …, 2000
92000
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
82015
Updates of argumentation frameworks
J Šefránek
Proc. of the 14th Int’l Workshop on Non-Monotonic Reasoning, 2012
82012
Rethinking semantics of dynamic logic programming
J Šefránek
Proceedings of NMR, 2006
82006
Warranted derivation of preferred answer sets
J Šefránek, A Šimko
19th International Conference on Applications of Declarative Programming and …, 2011
72011
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
Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech …, 2015
52015
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
Logic and cognitive science
I Sedlár, J Šefránek
Artificial Intelligence and Cognitive Science IV, 219, 2014
22014
A descriptive approach to preferred answer sets
J Šefránek, A Šimko
Applications of Declarative Programming and Knowledge Management: 19th …, 2013
22013
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