Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,025
Number of items: 1,025
  • de Rijke, M., Areces, C. E., & de Nivelle, J. M. G. G. (1999). Prefixed Resolution: A Resolution Method for Modal and Description Logic. In H. Ganzinger (Ed.), Automated Deduction-CADE-16 (pp. 187-201). (LNCS; No. 1632). Springer Verlag.
  • 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
  • Areces, C. E., & de Rijke, M. (1998). Expressiveness revisited. ILLC, University of Amsterdam.
  • 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.
  • de Rijke, M. (1998). Modal logics and Description logics. In Proceedings of the 1999 International Workshop on Description Logics (DL'98)
  • Areces, C. E., & de Rijke, M. (1998). Expressiveness revisited. In G. de Giacomo, E. Franconi, R. MacGregor, W. Nutt, & C. Welty (Eds.), Proc. of the 1998 International workshop on descrition logics (pp. 35-43). (-; No. --). Povo.
  • Areces, C. E., & de Rijke, M. (1998). interpolation and bisimulation in temporal logic. In Proc. of WoLLIC'98 Workshop of logic, language, information and computation (pp. 15-21). (--; No. -)..
Page 94 of 103