Marx, M. (2004) First order paths in ordered trees.

Lecture Notes in Computer Science, Vol. 3363 (pp 114-128)

Article | UvA-DARE

Marx, M. (2004) Conditional XPath, the first order complete XPath dialect.

In Proceedings of PODS'04 (pp 13-22). ACM Press.

Marx, M. (2004) XPath with conditional axis relations.

Lecture Notes in Computer Science, Vol. 2992 (pp 477-494)

Article | UvA-DARE

Marx, M. (2004) [Review of: R. Hirsch, I. Hodkinson. Relation Algebras and Games].

Studia Logica, Vol. 77 (pp 129-147)

Book/Film/Article/Exhibition review | UvA-DARE

Massios, N.A., Dorst, L., Voorbraak, F.P.J.M. (2001) A strategy for robot surveillance using the hierarchical structure of the environment.

In IJCAI'01 Workshop on Reasoning with Uncertainty in Robotics (pp 43-50)

Massios, N.A., Fisher, R.B. (1998) A best next view selection algorithm Incorporating a quality criterion.

In Lewis, P.H. Nixon, M.S. (Eds.), Proceedings of the Ninth British Machine Vision Conference: University of Southampton, UK, September 14-17, 1998 (pp 780-789). British Machine Vision Association.

Massios, N.A., Voorbaak, F. (1998) Planning strategies for decision-theoretic robotic surveillance.

In Proc. of the tenth Netherlands/ Belgium conference on artificial intelligence (pp 117-126) (-)

Massios, N.A., Voorbraak, F.P.J.M. (1999) Hierarchical decision theoretic planning for autonomous robotic surveillance.

In EUROBOT'99 3rd European Workshop on Advanced Robotics (pp 219-226)

Massios, N.A., Voorbraak, F.P.J.M. (1999) Hierarchical decision-theoretic robotic surveillance.

In IJCAI'99 Workshop on Reasoning with Uncertainty in Robot Navigation (pp 23-33)

Massios, N.A., Voorbraak, F.P.J.M. (1999) Hierarchical decision-theoretic robotic surveillance.

Technical Report ILLC. vg logic/info (oud WINS).

Report | UvA-DARE

Massios, N.A. (2000) A note on the surveillance state space size.

Institute for Logic Language and Computation.

Report | UvA-DARE

Massios, N.A. (2002) Decision-Theoretic Robotic Surveillance.

Thesis, fully internal | UvA-DARE

Mastop, R.J. (2002) Permission and social dependency: A formal approach.

In Proceedings of NASSLLI-1 (pp 58-66)

Mastop, R.J. (2003) Imperatives and tense.

In Dekker, P.J.E. van Rooij, R.A.M. (Eds.), Proceedings of the 14th Amsterdam Colloquium (pp 49-54). ILLC.

Mastop, R.J. (2005) What can you do? : imperative mood in semantic theory.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Mathias, B., Lidji, P., Honing, H., Palmer, C., Peretz, I. (2016) Electrical brain responses to beat irregularities in two cases of beat deafness.

Frontiers in Neuroscience, Vol. 10

Article | https://doi.org/10.3389/fnins.2016.00040 | UvA-DARE

Mattern, J., Qiao, Y., Kerz, E., Wiechmann, D., Strohmaier, M. (2021) FANG-COVID: A New Large-Scale Benchmark Dataset for Fake News Detection in German.

In Aly, R. Christodoulopoulos, C. Cocarascu, O. Mittal, A. Schlichtkrull, M. Thorne, J. Vlachos, A. (Eds.), FEVER : Fact Extraction and VERification: Proceedings of the Fourth Workshop : EMNLP 2021 : November 10, 2021 (pp 78-91). The Association for Computational Linguistics.

Mauras, S., Mohan, D., Reiffenhäuser, R. (2024) Optimal Stopping with Interdependent Values.

In EC '24: Proceedings of the 25th ACM Conference on Economics and Computation : July 8-11, 2024, New Haven, CT, USA (pp 246-265). The Association for Computing Machinery.

Mazzaccara, D., Testoni, A., Bernardi, R. (2024) Learning to Ask Informative Questions: Enhancing LLMs with Preference Optimization and Expected Information Gain.

In Al-Onaizan, Y. Bansal, M. Chen, Y.-N. (Eds.), The 2024 Conference on Empirical Methods in Natural Language Processing : Findings of EMNLP 2024: EMNLP 2024 : November 12-16, 2024 (pp 5064-5074). Association for Computational Linguistics.

McHugh, D., Cremers, A. (2019) Negation and Alternatives in Conditional Antecedents.

In Schlöder, J.J. McHugh, D. Roelofsen, F. (Eds.), Proceedings of the 22nd Amsterdam Colloquium (pp 289-298). ILLC, UvA.