Ján Sefránek

Publication Activity (10 Years)

Years Active: 1991-2015
Publications (10 Years): 0

Top Topics

Resolving Conflicts

Semantics Of Logic Programs

Ambient Intelligent

Defeasible Logic

Top Venues

Knowl. Eng. Rev.

Publications

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