Molnar, A., Jumelet, J., Giulianelli, M., Sinclair, A. (2023) Attribution and Alignment: Effects of Local Context Repetition on Utterance Production and Comprehension in Dialogue.

In Jiang, J. Reitter, D. Deng, S. (Eds.), The 27th Conference on Computational Natural Language Learning: CoNLL 2023 : proceedings of the conference : December 6-7, 2023 (pp 254–273). Association for Computational Linguistics.

Montanari, A., de Rijke, M. (1997) Two-sorted metric temporal logic.

Theoretical Computer Science, Vol. 183 (pp 187-214)

Article | https://doi.org/10.1016/S0304-3975(96)00324-6 | UvA-DARE

Montanari, A. (1996) Metric and Layered Temporal Logic for Time Granularity.

ILLC.

Thesis, externally prepared | UvA-DARE

Montanaro, A., de Wolf, R. (2016) A Survey of Quantum Property Testing.

Theory of Computing, Vol. Theory of Computing Library, Graduate Surveys (pp 1-81)

Article | https://doi.org/10.4086/toc.gs.2016.007 | UvA-DARE

Monz, C., de Rijke, M. (1998) Labeled resolution for discourse semantics.

In Proceedings of labeled deduction '98

Monz, C., de Rijke, M. (1998) A resolution calculus for dynamic reasoning.

In Logics in artificial intelligence. Springer.

Monz, C., de Rijke, M. (1998) A tableaux calculus for ambiguous quantification.

In Proceedings tableaux '98. Springer.

Monz, C., de Rijke, M. (1998) inference and Natural language semantics.

In Proceedings LACL-98

Monz, C., de Rijke, M. (1999) A tableau calculus for pronoun resolution.

Lecture Notes in Computer Science, Vol. 1617 (pp 247-262)

Article | https://doi.org/10.1007/3-540-48754-9 | UvA-DARE

Monz, C., de Rijke, M. (1999) Proceedings of the First Workshop on Inference in Computational Semantics (ICoS-1).

ICoS. ILLC.

Book (Editorship) | UvA-DARE

Monz, C., de Rijke, M. (1999) A tableau calculus for pronoun resolution.

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

Report | UvA-DARE

Monz, C., de Rijke, M. (2000) Inference in Computational Semantics I. Special issue of Journal of Language and Computation dedicated to ICoS-1, vol.1, issue 2.

Unknown Publisher.

Book (Editorship) | UvA-DARE

Monz, C., de Rijke, M. (2000) Editorial: Inference in Computational Semantics.

Journal of Language and Computation, Vol. 2 (pp 159-165)

Article | UvA-DARE

Monz, C., de Rijke, M. (2001) Deductions with meaning.

In Moortgat, M. (Eds.), Logical Aspects in Computational Linguistics (pp 1-10) (LNAI). Springer.

Monz, C., de Rijke, M. (2001) Light-weight inference for computational semantics.

In Blackburn, P. Kohlhase, M. (Eds.), Proceedings of the 3rd Workshop on Inference in Computational Semantics (ICoS-3) (pp 59-72)

Monz, C., de Rijke, M. (2001) The university of amsterdam at clef 2001.

In Working Notes for the Cross Language Evaluation Forum Workshop (CLEF 2001) (pp 165-169)

Monz, C., de Rijke, M. (2002) Morphological analysis in monolingula information retrieval for Dutch, German and Italian.

Lecture Notes in Computer Science

Article | UvA-DARE

Monz, C., de Rijke, M. (2002) Knowledge-intensive question answering.

In Proceedings BNAIC'02 (pp 467-468)

Monz, C., de Rijke, M. (2002) Shallow morphological analysis in monolingual information retrieval for Dutch, German and Italian.

In Peters, C. Braschler, M. Gonzalo, J. Kluck, M. (Eds.), Evaluation of Cross-Language Information Retrieval Systems. Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001

Monz, C., de Rijke, M. (2002) Tequesta: The University of Amsterdam's textual question answering system.

In NIST Special Publication 500-250: The Tenth Text Retrieval Conference (TREC 2001) (pp 519-528)