Jan Maly
Projektass. Dr.techn. / MSc
Role
-
PostDoc Researcher
Databases and Artificial Intelligence, E192-02
Publications
-
Sequent Calculi for Choice Logics
/
Bernreiter, M., Lolic, A., Maly, J., & Woltran, S. (2024). Sequent Calculi for Choice Logics. Journal of Automated Reasoning, 68(2), Article 8. https://doi.org/10.1007/s10817-024-09695-5
Project: Pandaforest (2022–2025) -
Proportionality in Approval-Based Participatory Budgeting
/
Brill, M., Forster, S., Lackner, M., Maly, J., & Peters, J. (2023). Proportionality in Approval-Based Participatory Budgeting. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (pp. 5524–5531). AAAI Press. https://doi.org/10.1609/aaai.v37i5.25686
Download: All rights reserved (149 KB)
Projects: HolisticPB (2021–2024) / SuDeMa (2019–2025) -
Proportional Decisions in Perpetual Voting
/
Lackner, M., & Maly, J. (2023). Proportional Decisions in Perpetual Voting. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (pp. 5722–5729). AAAI Press. https://doi.org/10.1609/aaai.v37i5.25710
Download: All rights reserved (160 KB)
Projects: HolisticPB (2021–2024) / SuDeMa (2019–2025) -
Free-Riding in Multi-Issue Decisions
/
Lackner, M., Maly, J., & Nardi, O. (2023). Free-Riding in Multi-Issue Decisions. In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (pp. 2040–2048).
Project: SuDeMa (2019–2025) -
Fairness in Participatory Budgeting via Equality of Resources
/
Maly, J., Rey, S., Endriss, U., & Lackner, M. (2023). Fairness in Participatory Budgeting via Equality of Resources. In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (pp. 2031–2039).
Project: SuDeMa (2019–2025) -
Choice logics and their computational properties
/
Bernreiter, M., Maly, J., & Woltran, S. (2022). Choice logics and their computational properties. Artificial Intelligence, 311, 1–24. https://doi.org/10.1016/j.artint.2022.103755
Download: PDF (662 KB)
Project: SuDeMa (2019–2025) -
Sequent Calculi for Choice Logics
/
Bernreiter, M., Lolic, A., Maly, J., & Woltran, S. (2022). Sequent Calculi for Choice Logics. In Automated Reasoning (pp. 331–349). Springer International Publishing. https://doi.org/10.1007/978-3-031-10769-6_20
Download: PDF (375 KB)
Project: HYPAR (2019–2024) -
Participatory Budgeting with Donations and Diversity Constraints
/
Chen, J., Lackner, M., & Maly, J. (2022). Participatory Budgeting with Donations and Diversity Constraints. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 9323–9330). AAAI Press. https://doi.org/10.1609/aaai.v36i9.21163
Project: SuDeMa (2019–2025) - Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations / Maly, J., & Wallner, J. P. (2021). Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations. In Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021 (pp. 6435–6443). http://hdl.handle.net/20.500.12708/55629
-
Fairness in Long-Term Participatory Budgeting
/
Lackner, M., Maly, J., & Rey, S. (2021). Fairness in Long-Term Participatory Budgeting. In AAMAS ’21: 20th International Conference on Autonomous Agents and Multiagent Systems (pp. 1566–1568). http://hdl.handle.net/20.500.12708/58559
Project: SuDeMa (2019–2025) -
Fairness in Long-Term Participatory Budgeting
/
Lackner, M., Maly, J., & Rey, S. (2021). Fairness in Long-Term Participatory Budgeting. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada, Canada. https://doi.org/10.24963/ijcai.2021/42
Project: SuDeMa (2019–2025) - Approval-Based Shortlisting / Lackner, M., & Maly, J. (2021). Approval-Based Shortlisting. In AAMAS ’21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021 (pp. 737–745). http://hdl.handle.net/20.500.12708/58557
-
Choice Logics and Their Computational Properties
/
Bernreiter, M., Maly, J., & Woltran, S. (2021). Choice Logics and Their Computational Properties. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Montreal, Canada, Canada. https://doi.org/10.24963/ijcai.2021/247
Project: START (2014–2022) -
Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets
/
Maly, J. (2020). Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2152–2159). https://doi.org/10.1609/aaai.v34i02.5590
Projects: START (2014–2022) / SuDeMa (2019–2025) -
Encoding Choice Logics in ASP
/
Bernreiter, M., Maly, J., & Woltran, S. (2020). Encoding Choice Logics in ASP. In International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020 (pp. 1–14). http://hdl.handle.net/20.500.12708/58290
Project: START (2014–2022) -
Ranking sets of objects : how to deal with impossibility results
/
Maly, J. (2020). Ranking sets of objects : how to deal with impossibility results [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.83187
Download: PDF (3.3 MB) -
Aggregating Expert Opinions in Support of Medical Diagnostic Decision-Making
/
Gangl, C., Lackner, M., Maly, J., & Woltran, S. (2019). Aggregating Expert Opinions in Support of Medical Diagnostic Decision-Making. In Knowledge Representation for Health Care/ProHealth, KR4HC 2019 (pp. 56–62). http://hdl.handle.net/20.500.12708/57907
Projects: START (2014–2022) / SuDeMa (2019–2025) - Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? / Maly, J., Truszczyński, M., & Woltran, S. (2019). Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? Journal of Artificial Intelligence Research, 66, 1147–1197. https://doi.org/10.1613/jair.1.11879
-
A New Logic for Jointly Representing Hard and Soft Constraints
/
Maly, J., & Woltran, S. (2018). A New Logic for Jointly Representing Hard and Soft Constraints. In Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (pp. 1–4). http://hdl.handle.net/20.500.12708/57539
Project: START (2014–2022) -
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
/
Maly, J., Woltran, S., & Truszczynski, M. (2018). Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI - International Joint Conference on Artificial Intelligence, Stockholm, EU. ijcai.org. https://doi.org/10.24963/ijcai.2018/60
Project: START (2014–2022) -
Ranking Specific Sets of Objects
/
Maly, J., & Woltran, S. (2017). Ranking Specific Sets of Objects. In Workshop Präferenzen und Personalisierung in der Informatik (pp. 193–201). http://hdl.handle.net/20.500.12708/57051
Projects: GRAPPA (2016–2019) / HINT (2012–2017) / START (2014–2022) -
Ranking Specific Sets of Objects
/
Maly, J., & Woltran, S. (2017). Ranking Specific Sets of Objects. Datenbank-Spektrum: Zeitschrift Für Datenbanktechnologien Und Information Retrieval, 17(3), 255–265. https://doi.org/10.1007/s13222-017-0264-7
Projects: GRAPPA (2016–2019) / HINT (2012–2017) / START (2014–2022)
Supervisions
-
A General framework for choice logics
/
Bernreiter, M. (2020). A General framework for choice logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.79388
Download: PDF (816 KB)