Maly, J., Rey, S., Endriss, U., Lackner, M. (2023) Fairness in Participatory Budgeting via Equality of Resources.

In AAMAS '23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems : May 29-June 2, 2023, London, UK (pp 2031-2039). International Foundation for Autonomous Agents and Multiagent Systems.

Maly, J. (2022) Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results.

Journal of Artificial Intelligence Research, Vol. 73 (pp 1-65)

Article | https://doi.org/10.1613/jair.1.13030 | UvA-DARE

Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U. (2009) The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.

Theory and Practice of Logic Programming, Vol. 9 (pp 691-750)

Article | https://doi.org/10.1017/S1471068409990093 | UvA-DARE

Mancini, A., Zambella, D. (2001) A Note on recursive models of set theory.

Notre Dame Journal of Formal Logic, Vol. 42 (pp 109-115)

Article | UvA-DARE

Mande, N.S., de Wolf, R. (2023) Tight Bounds for Quantum Phase Estimation and Related Problems.

In Gørtz, I.L. Farach-Colton, M. Puglisi, S.J. Herman, G. (Eds.), 31st Annual European Symposium on Algorithms: ESA 2023, September 4-6, 2023, Amsterdam, The Netherlands (Leibniz International Proceedings in Informatics, Vol. 274). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Mansour, S., Sima'an, K., Winter, Y. (2007) Smoothing a Lexicon-based POS tagger for Arabic and Hebrew.

In Proceedings of ACL 2007 Workshop on Computational Approaches to Semitic Languages: Common Issues and Resources (pp 97-103). Association for Computational Linguistics.

Manuel, A. (2010) Two variables and two successors.

In Hliněný, P. Kučera, A. (Eds.), Mathematical Foundations of Computer Science 2010: 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings (pp 513-524) (Lecture Notes in Computer Science
Advanced Research in Computing and Software Science, Vol. 6281). Springer.

Marcheggiani, D., Bastings, J., Titov, I. (2018) Exploiting Semantics in Neural Machine Translation with Graph Convolutional Networks.

In Walker, M. Ji, H. Stent, A. (Eds.), NAACL-HLT 2018 : The 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: proceedings of the conference : June 1-June 6, 2018, New Orleans, Louisiana (pp 486–492). The Association for Computational Linguistics.

Marcheggiani, D., Frolov, A., Titov, I. (2017) A simple and accurate syntax-agnostic neural model for dependency-based semantic role labeling.

In Levy, R. Specia, L. (Eds.), The 21st Conference on Computational Natural Language Learning: Proceedings of the Conference : CoNNL 2017 : August 2-august 4, 2017, Vancouver, Canada (pp 411-420). Association for Computational Linguistics.

Marcheggiani, D., Sebastiani, F. (2017) On the effects of low-quality training data on information extraction from clinical reports.

Journal of Data and Information Quality, Vol. 9

Article | https://doi.org/10.1145/3106235 | UvA-DARE

Marcheggiani, D., Titov, I. (2017) Encoding sentences with graph convolutional networks for semantic role labeling.

In Palmer, M. Hwa, R. Riedel, S. (Eds.), The Conference on Empirical Methods in Natural Language Processing: proceedings of the conference : EMNLP 2017 : September 9-11, 2017, Copenhagen, Denmark (pp 1506-1515). Association for Computational Linguistics.

Marcheggiani, D., Titov, I. (2020) Graph convolutions over constituent trees for syntax-aware semantic role labeling.

In Webber, B. Cohn, T. He, Y. Liu, Y. (Eds.), 2020 Conference on Empirical Methods in Natural Language Processing: EMNLP 2020 : proceedings of the conference : November 16-20, 2020 (pp 3915-3928). The Association for Computational Linguistics.

Marra, V., Spada, L. (2013) Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.

Annals of Pure and Applied Logic, Vol. 164 (pp 192-210)

Article | https://doi.org/10.1016/j.apal.2012.10.001 | UvA-DARE

Marra, V., Spada, L. (2013) Two isomorphism criteria for directed colimits.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.1312.0432 | UvA-DARE

Marti, J., Pinosio, R. (2014) Topological Semantics for Conditionals.

In Dančák, M. Punčochář, V. (Eds.), The Logica Yearbook 2013 (pp 115-128). College Publications.

Marti, J., Pinosio, R. (2014) Similarity Orders from Causal Equations.

In Fermé, E. Leite, J. (Eds.), Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings (pp 500-513) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 8761). Springer.

Marti, J., Seifan, F., Venema, Y. (2015) Uniform Interpolation for Coalgebraic Fixpoint Logic.

In Moss, L.S. Sobociński, P. (Eds.), 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands (pp 238-252) (Leibniz International Proceedings in Informatics, Vol. 35). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Marti, J., Venema, Y. (2012) Lax Extensions of Coalgebra Functors.

In Pattinson, D. Schröder, L. (Eds.), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012 : revised selected papers (pp 150-169) (Lecture Notes in Computer Science, Vol. 7399). Springer.

Marti, J., Venema, Y. (2015) Lax Extensions of Coalgebra Functors and Their Logic.

Journal of Computer and System Sciences, Vol. 81 (pp 880-900)

Article | https://doi.org/10.1016/j.jcss.2014.12.006 | UvA-DARE

Marti, J., Venema, Y. (2021) A Focus System for the Alternation-Free μ-Calculus.

In Das, A. Negri, S. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp 371-388) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 12842). Springer.