Obserwuj
Jan Sefranek
Tytuł
Cytowane przez
Cytowane przez
Rok
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
European Workshop on Logics in Artificial Intelligence, 426-438, 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
International Conference on Logic for Programming Artificial Intelligence …, 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
Rethinking semantics of dynamic logic programming
J ©efránek
Proceedings of NMR, 2006
82006
Updates of argumentation frameworks
J ©efránek
Proc. of the 14th Int’l Workshop on Non-Monotonic Reasoning, 2012
72012
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
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
Logic and cognitive science
I Sedlár, J ©efránek
Artificial Intelligence and Cognitive Science IV, 219-236, 2014
22014
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie póĽniej.
Prace 1–20