Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 164
Number of items: 164
  • Monz, C., & de Rijke, M. (1999). Proceedings of the First Workshop on Inference in Computational Semantics (ICoS-1). (ICoS; No. 1). ILLC.
  • Monz, C. (1999). Computing presuppositions by contextual reasoning. In R. Turner, P. Brezillon, J.-C. Pomerol, & E. Turner (Eds.), Proceedings of the AAAI-99 Workshop on Reasoning in Context for AI Applications
  • Monz, C. (1999). Review of A. Franz: Automatic ambiguity resolution in natural. Journal of Logic, Language and Information, 8(1), 111-114.
  • Monz, C., & de Rijke, M. (1999). A tableau calculus for pronoun resolution. Lecture Notes in Computer Science, 1617, 247-262. https://doi.org/10.1007/3-540-48754-9
  • Monz, C. (1999). Underspecified theorem proving with different kinds of ambiguity. University of Stuttgart.
  • Monz, C. (1999). Modeling ambiguity in a multi-agent system. In P. Dekker (Ed.), Proceedings of the 12th Amsterdam Colloquium (AC'99) (pp. 43-48). ILLC.
  • Monz, C., & de Rijke, M. (1999). A tableau calculus for pronoun resolution. (Technical Report ILLC; No. PP-99-14). vg logic/info (oud WINS).
  • Open Access
    Areces, C. E., Monz, C., de Nivelle, J. M. G. G., & de Rijke, M. (1999). The guarded fragment: Ins and outs. In J. D. Gerbrandy et al. (Ed.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday Vossiuspers - Amsterdam University Press. http://www.illc.uva.nl/ j50
  • Monz, C., & de Rijke, M. (1998). A tableaux calculus for ambiguous quantification. ILLC, University of Amsterdam.
  • Monz, C., & de Rijke, M. (1998). A resolution calculus for dynamic reasoning. ILLC, University of Amsterdam.
Page 16 of 17