Ján Sefránek

14 papers A 1B 3C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2015 J jnl
Resolving conflicts in knowledge for ambient intelligence.
Knowl. Eng. Rev.
Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Sefránek, Alexander Simko, Jozef Frtús, Dimitra Zografistou, Martin Baláz
2014 C conf
Conflict Resolution in Assumption-Based Frameworks.
EUMAS
Martin Baláz, Jozef Frtús, Giorgos Flouris, Martin Homola, Ján Sefránek
2014 — conf
Embedding Defeasible Logic Programs into Generalized Logic Programs.
WLP/WFLP
Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris
2011 — conf
A Descriptive Approach to Preferred Answer Sets.
INAP/WLP
Ján Sefránek, Alexander Simko
2011 J jnl
Transfer of semantics from argumentation frameworks to logic programming A preliminary report
CoRR
Monika Adamova, Ján Sefránek
2011 J jnl
Warranted Derivations of Preferred Answer
CoRR
Ján Sefránek, Alexander Simko
2007 J jnl
Updates of Logic Programs.
Comput. Informatics
Ján Sefránek
2006 B conf
Irrelevant Updates and Nonmonotonic Assumptions.
JELIA
Ján Sefránek
2006 A conf
Irrelevant Updates of Nonmonotonic Knowledge Bases.
ECAI
Ján Sefránek, Jozef Siika
2006 — conf
Non-monotonic Integrity Constraints.
WLP
Ján Sefránek
2004 — conf
Semantic considerations on rejection.
NMR
Ján Sefránek
2000 B conf
A Kripkean Semantics for Dynamic Logic Programming.
LPAR
Ján Sefránek
1999 B conf
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.
LPNMR
Ján Sefránek
1991 — conf
Inconsistencies handling: nonmonotonic and paraconsistent reasoning.
FAIR
Ján Sefránek