uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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)
  • Monz, C., de Rijke, M. (1998) Labeled resolution for discourse semantics.
    In Proceedings of labeled deduction '98
    Chapter | UvA-DARE
  • Monz, C., de Rijke, M. (1998) A resolution calculus for dynamic reasoning.
    In Logics in artificial intelligence. Springer.
    Chapter | UvA-DARE
  • Monz, C., de Rijke, M. (1998) A tableaux calculus for ambiguous quantification.
    In Proceedings tableaux '98. Springer.
    Chapter | UvA-DARE
  • Monz, C., de Rijke, M. (1998) inference and Natural language semantics.
    In Proceedings LACL-98
    Chapter | UvA-DARE
  • Monz, C., de Rijke, M. (1999) A tableau calculus for pronoun resolution.
    Lecture Notes in Computer Science, Vol. 1617 (pp 247-262)
  • 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.
    Chapter | UvA-DARE
  • 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)
    Conference contribution | UvA-DARE
  • 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)
    Conference contribution | UvA-DARE
  • 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)
    Conference contribution | UvA-DARE
  • 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
    Conference contribution | UvA-DARE
  • 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)
    Conference contribution | UvA-DARE
  • Monz, C., Kamps, J., de Rijke, M. (2002) The University of Amsterdam at CLEF 2002.
    In Working Notes for the CLEF 2002 Workshop (pp 73-84)
    Conference contribution | UvA-DARE
  • Monz, C., Kamps, J., de Rijke, M. (2002) The University of Amsterdam at TREC 2002.
    In Voorhees, E.M. Harman, D.K. (Eds.), The Eleventh Text Retrieval Conference (TREC 2002)
    Conference contribution | UvA-DARE
1 ... 200 201 202 203 204 205 206 207 208 ... 322

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact