Alexander Šimko
Title
Cited by
Cited by
Year
Resolving conflicts in knowledge for ambient intelligence
M Homola, T Patkos, G Flouris, J Sefranek, A Simko, J Frtus, D Zografistou, ...
The Knowledge Engineering Review 30 (5), 455, 2015
72015
Logic programming with preferences on rules
A Šimko
PhD thesis, Faculty of Mathematics, Physics and Informatics, Comenius …, 2014
72014
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, ...
European Conference on Multi-Agent Systems, 414-423, 2014
22014
A descriptive approach to preferred answer sets
J Šefránek, A Šimko
Applications of Declarative Programming and Knowledge Management, 195-214, 2011
22011
Preferred answer sets-banned generating set approach
A Šimko
submitted, 2011
22011
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: 12th European Conference, EUMAS 2014, Prague, Czech …, 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
The system can't perform the operation now. Try again later.
Articles 1–19