| Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016 | 125 | 2016 |
| Judgment aggregation rules based on minimization J Lang, G Pigozzi, M Slavkovik, L van der Torre Proceedings of the 13th conference on theoretical aspects of rationality and …, 2011 | 70 | 2011 |
| Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017 | 51 | 2017 |
| Extended spiking neural P systems A Alhazov, R Freund, M Oswald, M Slavkovik International Workshop on Membrane Computing, 123-134, 2006 | 42 | 2006 |
| New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Students Sessions Selected Papers M Slavkovik, D Lassiter, editors Springer, 2012 | 34 | 2012 |
| Judgment aggregation rules and voting rules J Lang, M Slavkovik International Conference on Algorithmic DecisionTheory, 230-243, 2013 | 31 | 2013 |
| How hard is it to compute majority-preserving judgment aggregation rules? J Lang, M Slavkovik ECAI, 501-506, 2014 | 30 | 2014 |
| Ethics by design: Necessity or curse? V Dignum, M Baldoni, C Baroglio, M Caon, R Chatila, L Dennis, ... Proceedings of the 2018 AAAI/ACM conference on AI, ethics, and society, 60-66, 2018 | 22 | 2018 |
| A complete conclusion-based procedure for judgment aggregation G Pigozzi, M Slavkovik, L van der Torre International Conference on Algorithmic DecisionTheory, 1-13, 2009 | 21 | 2009 |
| Ethical choice in unforeseen circumstances L Dennis, M Fisher, M Slavkovik, M Webster Conference towards autonomous robotic systems, 433-445, 2013 | 18 | 2013 |
| A partial taxonomy of judgment aggregation rules and their properties J Lang, G Pigozzi, M Slavkovik, L van der Torre, S Vesic Social Choice and Welfare 48 (2), 327-356, 2017 | 17 | 2017 |
| Building Jiminy Cricket: An architecture for moral agreements among stakeholders B Liao, M Slavkovik, L van der Torre Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 147-153, 2019 | 16 | 2019 |
| Judgment Aggregation for Multiagent Systems M Slavkovik Doctoral thesis, University of Luxembourg, 2012 | 15 | 2012 |
| Group intention is social choice with commitment G Boella, G Pigozzi, M Slavkovik, L Van Der Torre International Workshop on Coordination, Organizations, Institutions, and …, 2010 | 13 | 2010 |
| Agenda separability in judgment aggregation J Lang, M Slavkovik, S Vesic Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 11 | 2016 |
| Measuring dissimilarity between judgment sets M Slavkovik, T Ågotnes European Workshop on Logics in Artificial Intelligence, 609-617, 2014 | 10 | 2014 |
| Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system] M de Boer, DM Gabbay, X Parent, M Slavkovic Synthese 187 (2), 623-660, 2012 | 10 | 2012 |
| On the distinction between implicit and explicit ethical agency S Dyrkolbotn, T Pedersen, M Slavkovik Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 74-80, 2018 | 9 | 2018 |
| Complexity results for aggregating judgments using scoring or distance-based procedures R de Haan, M Slavkovik Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 8 | 2017 |
| An abstract formal basis for digital crowds M Slavkovik, LA Dennis, M Fisher Distributed and Parallel Databases 33 (1), 3-31, 2015 | 7 | 2015 |
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgE-mail confirmado em uni.lu
