Ján Sefránek

Affiliations:
  • Comenius University in Bratislava, Slovakia


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Resolving conflicts in knowledge for ambient intelligence.
Knowl. Eng. Rev., 2015

2014
Embedding Defeasible Logic Programs into Generalized Logic Programs.
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.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

2011
Warranted Derivations of Preferred Answer
CoRR, 2011

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

A Descriptive Approach to Preferred Answer Sets.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

2007
Updates of Logic Programs.
Comput. Informatics, 2007

2006
Non-monotonic Integrity Constraints.
Proceedings of the 20th Workshop on Logic Programming, 2006

Irrelevant Updates and Nonmonotonic Assumptions.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Irrelevant Updates of Nonmonotonic Knowledge Bases.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

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

2000
A Kripkean Semantics for Dynamic Logic Programming.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1991
Inconsistencies handling: nonmonotonic and paraconsistent reasoning.
Proceedings of the Fundamentals of Artificial Intelligence Research, 1991


  Loading...