Resolving conflicts in knowledge for ambient intelligence M Homola, T Patkos, G Flouris, J Šefránek, A Šimko, J Frtus, D Zografistou, ... The Knowledge Engineering Review 30 (5), 455-513, 2015 | 8 | 2015 |
Conflict resolution in structured argumentation M Baláž, J Frtús, M Homola 19th International Conference on Logic for Programming, Artificial …, 2014 | 6* | 2014 |
Conflict resolution in assumption-based frameworks M Baláž, J Frtús, G Flouris, M Homola, J Šefránek Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech …, 2015 | 4 | 2015 |
Embedding defeasible logic programs into generalized logic programs M Baláž, J Frtús, M Homola, J Šefránek, G Flouris Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014 …, 2014 | 4 | 2014 |
A dialogical model for collaborative decision making based on compromises D Zografistou, G Flouris, T Patkos, D Plexousakis, M Baláž, M Homola, ... Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czech …, 2015 | 2 | 2015 |
On Supporting Strong and Default Negation in Answer-Set Program Updates M Slota, M Baláž, J Leite Ibero-American Conference on Artificial Intelligence, 41-53, 2014 | 2 | 2014 |
On Strong and Default Negation in Logic Program Updates (Extended Version) M Slota, M Baláž, J Leite arXiv preprint arXiv:1404.6784, 2014 | 1 | 2014 |
On strong and default negation in logic program updates M Slota, M Baláž, J Leite Proceedings of the 15th International Workshop on Non-Monotonic Reasoning …, 2014 | 1 | 2014 |
Abstract argumentation with structured arguments M Baláž, J Frtús 14th International Workshop on Non-Monotonic Reasoning, 2012 | 1 | 2012 |
Faculty of Mathematics, Physics, and Informatics Comenius University, Bratislava M Homola, T Patkos, G Flouris, J Frtús, JŠ AlexanderŠimko, D Zografistou, ... | | 2015 |
Early Recovery in Logic Program Updates M Slota, M Baláž, J Leite Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | | 2013 |
Defeasible logic programs in multi-context systems J Frtús, M Baláž 6th Workshop on Intelligent and Knowledge Oriented Technologies Proceedings, 57, 2011 | | 2011 |
Embedding Defeasible Argumentation in Answer Set Programming P Novák, M Baláž, J Dix | | 2008 |
Well-Supported Models of Disjunctive Logic Programs M Baláž | | 2007 |
Kripke structures on bilattices M Baláž | | 2004 |
Kripkeho štruktúry nad dvojzväzmi M Baláž | | |
A Dialogical Model for Collaborative Decision Making Based on Compromises D Plexousakis, M Baláž, M Homola, A Šimko Multi-Agent Systems, 414, 0 | | |
A Distributed Assumption-Based Framework for a Set of Heterogeneous Knowledge Bases J Šefránek, J Frtús, M Homola, T Patkos, D Zografistou, M Baláž, ... | | |