| 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 |
| Logic programming with preferences on rules A Šimko PhD thesis, Faculty of Mathematics, Physics and Informatics, Comenius …, 2014 | 8 | 2014 |
| Warranted derivation of preferred answer sets J Šefránek, A Šimko 19th International Conference on Applications of Declarative Programming and …, 2011 | 6 | 2011 |
| Extension of Gelfond-Lifschitz reduction for preferred answer sets: preliminary report A Šimko CHRISTIAN-ALBRECHTS-UNIVERSITAT ZU KIEL, 2, 2013 | 3 | 2013 |
| Accepting the natural order of rules in a logic program with preferences A Šimko Technical Communications of the 27th International Conference on Logic …, 2011 | 3 | 2011 |
| Towards explainable malware detection with structured machine learning P Švec, T Bisták, M Homola, Š Balogh, J Kľuka, A Šimko The Fourth Workshop on Explainable Logic-Based Knowledge Representation …, 2023 | 2 | 2023 |
| 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 |
| A descriptive approach to preferred answer sets J Šefránek, A Šimko International Conference on Applications of Declarative Programming and …, 2011 | 2 | 2011 |
| Preferred answer sets-banned generating set approach A Šimko submitted, 2011 | 2 | 2011 |
| Improving DL-Learner on a Malware Detection Use Case. T Bisták, P Svec, J Kluka, A Simko, S Balogh, M Homola Description Logics, 2023 | 1 | 2023 |
| Proofs for the Approaches to Preferred Answer Sets with General Conflicts A Šimko Technical report, Department of Applied Informatics, Comenius University in …, 2014 | 1 | 2014 |
| Logic programming and interactive applications A Šimko, J Šiška Organon F 20 (2), 187-205, 2013 | 1 | 2013 |
| A Dialogical Model for Collaborative Decision Making Based on Compromises D Plexousakis, M Baláz, M Homola, A Šimko Multi-Agent Systems, 414, 2015 | | 2015 |
| A Family of Descriptive Approaches To Preferred Answer Sets A Šimko arXiv preprint arXiv:1404.6781, 2014 | | 2014 |
| A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets A Šimko International Conference on Applications of Declarative Programming and …, 2013 | | 2013 |
| Preferred Answer Sets: Comparison of Generating Sets A Šimko | | 2012 |
| Warranted Derivations of Preferred Answer J Sefranek, A Simko arXiv preprint arXiv:1109.0375, 2011 | | 2011 |
| Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) M Gebser, R Kaminski, B Kaufmann, T Schaub, A Bochman, V Lifschitz, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2011 | | 2011 |
| Expected results of conceptual learning Š Balogh, P Švec, A Šimko | | |
| Logické programovanie s preferenciami na pravidlách A Šimko | | |
