TU Wien Informatics

20 Years

Role

  • 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)
  • 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)