Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 160
Number of items: 160
  • Monz, C. (1999). Contextual inference in computational semantics. In P. Brezillon, P. Bouquet, L. Serafini, M. Benerecetti, & F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'99) (pp. 242-255). Springer.
  • 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). inference and Natural language semantics. In Proceedings LACL-98
  • Monz, C., & de Rijke, M. (1998). A resolution calculus for dynamic reasoning. ILLC, University of Amsterdam.
  • Monz, C., & de Rijke, M. (1998). A tableaux calculus for ambiguous quantification. ILLC, University of Amsterdam.
  • Monz, C., & de Rijke, M. (1998). A tableaux calculus for ambiguous quantification. In Proceedings tableaux '98 Springer.
  • 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.
Page 16 of 16