Ján Sefránek

According to our database, Ján Sefránek authored at least 14 papers between 1991 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Resolving conflicts in knowledge for ambient intelligence.

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Sefránek, Alexander Simko, Jozef Frtús, Dimitra Zografistou, Martin Baláz

Knowl. Eng. Rev., 2015

2014

Embedding Defeasible Logic Programs into Generalized Logic Programs.

Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

Conflict Resolution in Assumption-Based Frameworks.

Martin Baláz, Jozef Frtús, Giorgos Flouris, Martin Homola, Ján Sefránek

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

2011

Warranted Derivations of Preferred Answer

Ján Sefránek, Alexander Simko

CoRR, 2011

Transfer of semantics from argumentation frameworks to logic programming A preliminary report

Monika Adamova, Ján Sefránek

CoRR, 2011

A Descriptive Approach to Preferred Answer Sets.

Ján Sefránek, Alexander Simko

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

2007

Updates of Logic Programs.

Ján Sefránek

Comput. Informatics, 2007

2006

Non-monotonic Integrity Constraints.

Ján Sefránek

Proceedings of the 20th Workshop on Logic Programming, 2006

Irrelevant Updates and Nonmonotonic Assumptions.

Ján Sefránek

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Irrelevant Updates of Nonmonotonic Knowledge Bases.

Ján Sefránek, Jozef Siika

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2004

Semantic considerations on rejection.

Ján Sefránek

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

2000

A Kripkean Semantics for Dynamic Logic Programming.

Ján Sefránek

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.

Ján Sefránek

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1991

Inconsistencies handling: nonmonotonic and paraconsistent reasoning.

Ján Sefránek

Proceedings of the Fundamentals of Artificial Intelligence Research, 1991