Follow
Alexander Šimko
Title
Cited by
Cited by
Year
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
82015
Logic programming with preferences on rules
A Šimko
PhD thesis, Faculty of Mathematics, Physics and Informatics, Comenius …, 2014
82014
Warranted derivation of preferred answer sets
J Šefránek, A Šimko
19th International Conference on Applications of Declarative Programming and …, 2011
72011
Extension of Gelfond-Lifschitz reduction for preferred answer sets: preliminary report
A Šimko
CHRISTIAN-ALBRECHTS-UNIVERSITAT ZU KIEL, 2, 2013
32013
Accepting the natural order of rules in a logic program with preferences
A Šimko
Technical Communications of the 27th International Conference on Logic …, 2011
32011
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
22015
A descriptive approach to preferred answer sets
J Šefránek, A Šimko
International Conference on Applications of Declarative Programming and …, 2011
22011
Preferred answer sets-banned generating set approach
A Šimko
submitted, 2011
22011
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
12023
Improving DL-Learner on a Malware Detection Use Case
T Bisták, P Švec, J Kľuka, A Šimko, Š Balogh, M Homola
12023
Proofs for the Approaches to Preferred Answer Sets with General Conflicts
A Šimko
Technical report, Department of Applied Informatics, Comenius University in …, 2014
12014
Logic programming and interactive applications
A Šimko, J Šiška
Organon F 20 (2), 187-205, 2013
12013
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
Logické programovanie s preferenciami na pravidlách
A Šimko
Towards Searching for Transformation Patterns in Support of Language Profiling
A Šimko, O Zamazal
The system can't perform the operation now. Try again later.
Articles 1–20