Recent works
knowledge representation and nonmonotonic reasoning
2015
2014
-
Sedlar, I., Sefranek, J., Logic and
cognitive science. In Kvasnicka et al. Artificia;l intelligence and
Cognitive Sciuence IV. Slovak Technical University, Bratislava, 2014,
219-236
2013
- Sefranek, J., Simko, A., A Descriptive approach to preferred answer
sets. Applications of Declarative Programming and Knowledge Management,
Springer, LNCS 7773, 2013, pp. 195-214
- Sefranek, J., Argumentation
semantics and update semantics, Dagstuhl Seminar
Belief Change and Argumentation in Multi-Agent Scenarios
Vince, M., Sefranek, J., From deduction to knowledge
representation. In Organon F, volume XX, 2013, supplementary issue 2, 216-234
2012
- Sefranek, J., Updates of argumentation frameworks , NMR
2012, Rome
- Adamova, M., Sefranek, J.,
Logic program semantics via an argumentation semantics. Technical
Reports, Faculty of Mathematicvs, Physics and Informatics, Ciomenius
University, TR-2012-033
2011
- Frtus, J., Sefranek, J., Rieenie
konfliktov vo vyvratitenom a dynamickom logickom programe, Znaalosti
2011
-
Sefranek, J., Simko, A., Warranted
ddervations of preferred answer sets, Workshop on logic programming
22011
-
Adamova, M., Sefranek, J., Transfer of
argumentation semantics to logic programming, Workshop on logic
programming 2011
- Sefranek, J., Static and dynamic
semantics. Preliminary report MICAI 2011,
Special Session
2008
2007
2006
- Sefranek, J., Irrelevant updates and nonmonotonic assumtions.
ps
pdf
A shortened version appeared in Proc. of JELIA 2006.
- Sefranek, J., Rethinking semantics of dynamic logic programming.
Proc. of NMR 2006 ps
pdf
- Sefranek, J., Irrelevant updates of nonmonotonic knowledge bases.
Proc. of ECAI 2006 ps
pdf
- Sefranek, J., Nonmonotonic integrity constraints ps
pdf
10th Workshop on logic programming,
Vienna 2006
- Sefranek, J., Reprezentacia neuplnych a nekonzistentnych znalosti.
Znalosti 2006.
ps
pdf
2005
- Sefranek, J., Updates of nonmonotonic knowledge bases, in Proc. of Znalosti 2005
ps
pdf
- Sefranek, J., Dependency theory for logic program updates, in Proc. of Znalosti 2005
ps
pdf
2004
some older papers
-
Sefranek, J.
A Kripkean Semantics for Dynamic Logic Programming.
LPAR'2000 (Logic for
Programming and Automated Reasoning), Springer Verlag, LNAI 1955, 2000
ps
pdf
abstract
-
Sefranek, J.
Knowledge, Belief, Revisions, and a Semantics of Non-Monotonic Reasoning.
In: Gelfond, M., Leone, N., Pfeifer, G. (eds.),
Logic Programming and Non-Monotonic Reasoning,
Springer, LNAI 1730, 63-77, 1999
ps
pdf
-
Sefranek, J.
Dynamic Kripke Structures.
CAEPIA'97, Actas de la VII Conferencia Asociacion Espanola para la
Inteligencia Artificial, 1997, 271-283
ps
pdf
-
Sefranek, J.
Inconsistencies Handling: Nonmonotonic and Paraconsistent
Reasoning.
Fundamentals of Artificial Intelligence Research,
Springer Verlag 1991, LNAI 535, 214-219
cognitive semantics
2013
- Sefranek, J., Kognitivny priestor, In Kognice a umely zivot XIII, 2013
2012
2008
2007
- Retova,D., Sillikova, J., Sefranek, J., Opice, psy, semantika a logika.
In Kognice a umely zivot VII, 2007
- Sefrnek, J., Kogniivna teoria usudzovania. In Mysel, inteligencia a
zivot, Bratislava 2007
2005
- Sefranek, J. Vyznamy neexistuju. Kapitola v Jazyk a kognicia, editori
Kvasnicka, Rybar, Farkas, Kaligram 2005
ps
pdf
Meanings doesn't exist a chapter from Cognition and Language (in Slovak)
2003
- Sefranek, J., Kognitivna teoria usudzovania.
V: Kognicia, umely zivot a pocitacova inteligencia. Stara Lesna 2003.
2002
- Sefranek, J., Cognition without mental processes (in Slovak).
A chapter in Benuskova, Kvasnicka, Rybar: Kognitivna
veda (Cognitive science), Kaligram 2002
ps
pdf
- Sefranek, J., Cognition without mental processes (in Slovak).
In Kelemen (ed.), Kognice a umely zivot. Opava, 2002.
1999
others
2008
-
Farkas, I., Sefranek, J., Takac,M. Vznik
inteligencie v umelych systemoch to appear in Magdolen, D. (ed):
Hmota-Zivot-Inteligencia: vznik, Bratislava
-
Sefranek, J. Modely usudzovania
In: Kvasnicka, Kelemen, POspichal (eds.) Modely mysle
2007
2001
-
Sefranek, J.
Jumping to conclusions , 2001,
-
Sefranek, J.
Evolucia poznania a dynamika usudzovania ,
2001, (in Slovak), in J.Kelemen, V.Kvasnicka, J. Pospichal (eds.):
Kognice a umely zivot, Slezska univerzita v Opave, 2001
2000
-
Sefranek, J.
Poznatky a usudzovanie , 2000, (In
Slovak), Internet Distance Education Program: Cognitive Science Course, Open
Society Found, Bratislava, http://math.chtf.stuba.sk/kog_vedy.htm
1999
1994
-
Kirchheimova, H., Kravcik, M., Sefranek, J.
MONSTER: An Architecture for Relationships Modelling and Information
Access.
Proceedings of the East-West International Conference on Computer Technologies
in Education, September 1994, Crimea, Ukraine