Preprints
- The core of an approval-based PB instance can be empty for nearly all cost-based satisfaction functions and for the share
Jan Maly
ArXiv preprint, 2023 - The (Computational) Social Choice Take on Indivisible Participatory Budgeting
Simon Rey and Jan Maly
ArXiv preprint, 2023
Published Papers
- Online Participatory Budgeting
Matthieu Hervouin and Jan Maly
ROADEF 2024, (Download) - Sequent Calculi for Choice Logics
Michael Bernreiter, Anela Lolic, Jan Maly and Stefan Woltran
Journal of Automated Reasoning 68(2),8, (Download), 2024 - Combining Voting and Abstract Argumentation to Understand Online Discussions
Michael Bernreiter, Jan Maly, Oliviero Nardi and Stefan Woltran
AAMAS 2024, to appear - Approval-Based Shortlisting
Martin Lackner and Jan Maly
Social Choice and Welfare, 2023, (Download) 2023 - Fairness in Participatory Budgeting via Equality of Resources
Jan Maly, Simon Rey, Ulle Endriss and Martin Lackner
AAMAS 2023, 2031-2039 (ArXiv version) - Free-Riding in Multi-Issue Decisions
Martin Lackner, Jan Maly and Oliviero Nardi
AAMAS 2023, 2040-2048 (Full version with proof appendix) - Proportionality in Approval-Based Participatory Budgeting
Markus Brill, Stefan Forster, Martin Lackner, Jan Maly and Jannik Peters
AAAI 2023, 5524-5531 (ArXiv version) - Proportional Decisions in Perpetual Voting
Martin Lackner and Jan Maly
AAAI 2023, 5722-5729 (Full version with proof appendix) - Effort-Based Fairness for Participatory Budgeting
Jan Maly, Simon Rey, Ulle Endriss and Martin Lackner
MPREF 2022 (ArXiv Link) - Choice Logics and Their Computational Properties
Michael Bernreiter, Jan Maly and Stefan Woltran
Artificial Intelligence, 311: 103755 (2022) (Download) - Sequent Calculi for Choice Logics
Michael Bernreiter, Anela Lolic, Jan Maly and Stefan Woltran
IJCAR 2022, 331-349 (Download) - Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results
Jan Maly
Journal of Artificial Intelligence Research (JAIR), 73: 1-65 (2022) (Download, ArXiv version) - Participatory Budgeting with Donations and Diversity Constraints
Jiehua Chen, Martin Lackner and Jan Maly
AAAI 2022, 9323-9330 (Download, ArXiv link) - Fairness in Long-Term Participatory Budgeting
Martin Lackner, Jan Maly and Simon Rey
IJCAI 2021: 299-305 (Download) - Choice Logics and Their Computational Properties
Michael Bernreiter, Jan Maly and Stefan Woltran
IJCAI 2021: 1794-1800 (Download,Long version on ArXiv) - Perpetual Voting: The Axiomatic Lense
Martin Lackner and Jan Maly
COMSOC 2021, oral presentation (Full Version on ArXiv) - Fairness in Long-Term Participatory Budgeting
Martin Lackner, Jan Maly and Simon Rey
AAMAS 2021: 1566-1568, Extended Abstract (Download) - Approval-Based Shortlisting
Martin Lackner and Jan Maly
AAMAS 2021: 737-745 (Download,ArXiv preprint) - Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations
Jan Maly and Johannes P. Wallner
AAAI 2021, 6435-6443 (Download) - Encoding Choice Logics in ASP
Michael Bernreiter, Jan Maly and Stefan Woltran
ASPOCP 2020 (Download) - Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets
Jan Maly
AAAI 2020: 2152-2159 (Download, Long version with full proofs on ArXiv) - Preference Orders on Families of Sets – When Can Impossibility Results Be Avoided?
Jan Maly, Miroslaw Truszczynski and Stefan Woltran
Journal of Artificial Intelligence Research (JAIR), 66: 1147-1197 (2019) (Download) - Aggregating Expert Opinions in Support of Medical Diagnostic Decision-Making
Clemens Gangl, Martin Lackner, Jan Maly and Stefan Woltran
Knowledge Representation for Health Care/ProHealth, KR4HC 2019, Poznan, Poland June 26, 2019, pages 56-62, 2019 (Download) - Preference Orders on Families of Sets – When Can Impossibility Results Be Avoided?
Jan Maly, Miroslaw Truszczynski and Stefan Woltran
IJCAI 2018: 433-439 (Download) - A New Logic for Jointly Representing Hard and Soft Constraints
Jan Maly and Stefan Woltran
PRUV@IJCAR 2018 (Download) - Ranking Specific Sets of Object
Jan Maly and Stefan Woltran
Datenbank-Spektrum 17(3): 255-265 (2017) (Download) - Ranking Specific Sets of Object
Jan Maly and Stefan Woltran
BTW 2017 – Workshopband: 193-201 (Download) - Pseudo proof systems and hard instances of SAT
Jan Maly and Moritz Müller
Math. Log. Q. 64(6): 418-428 (2018) (Download)
Theses
- Ranking Sets of Objects: How to Deal with Impossibility Results
Jan Maly
PhD Thesis, Technische Universität Wien, 2020
Supervisors: Stefan Woltran and Martin Lackner (Download) - Jan Krajicek’s Forcing Construction and Pseudo Proof Systems
Jan Maly
Master’s Thesis, Universität Wien, 2016
Advisor: Moritz Müller (Download)