| 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 | 7 | 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 |
| A dialogical model for collaborative decision making based on compromises D Zografistou, G Flouris, T Patkos, D Plexousakis, M Baláľ, M Homola, ... European Conference on Multi-Agent Systems, 414-423, 2014 | 2 | 2014 |
| A descriptive approach to preferred answer sets J ©efránek, A ©imko Applications of Declarative Programming and Knowledge Management, 195-214, 2011 | 2 | 2011 |
| Preferred answer sets-banned generating set approach A ©imko submitted, 2011 | 2 | 2011 |
| 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 Declarative Programming and Knowledge Management, 202-217, 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 |
| Logické programovanie s preferenciami na pravidlách A ©imko | | |
| Towards Searching for Transformation Patterns in Support of Language Profiling A ©imko, O Zamazal | | |
| LAAOS: Logical Aspects of Adaptable Ontological Schemas (Project Overview) A ©imko, M Vacura, O Zamazal | | |
| Detection of Irrelevant Preferences in Logic programs A ©imko | | |
