Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 70
Number of items: 70
  • van Eijck, D. J. N. (2001). Constrained hyper tableaux. In L. Fribourg (Ed.), Computer Science Logic (pp. 232-246). (LNCS; No. 2142).
  • van Benthem, J., Dekker, P., van Eijck, J., de Rijke, M., & Venema, Y. (2001). Logic in Action. ILLC, University of Amsterdam.
  • van Eijck, D. J. N. (2001). Model generation from constrained free variable tableaux. In R. Goré, A. Leitsch, & T. Nipkov (Eds.), IJCAR 2001 - Short Papers (pp. 160-169).
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2001). Tableau reasoning and programming with dynamic first order logic. Logic Journal of the IGPL, 9(3), 411-445.
  • van Eijck, D. J. N. (2001). Incremental dynamics. Journal of Logic, Language and Information, 10, 319-351.
  • ten Cate, B. D., van Eijck, J., & Heguiabehere, J. M. (2001). Expressivity of extensions of dynamic predicate logic. In R. van Rooy, & M. Stokhof (Eds.), Proceedings of the Thirteenth Amsterdam Colloquium (pp. 55-60). ILLC/Department of Philosophy.
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). A tableau calculus for dynamic first order logic with applications in natural language semantics. In J. Bos, & M. Kohlhase (Eds.), ICOS-2 Proceedings (pp. 25-40)
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and programming with dynamic first order logic. In M. Alpuente (Ed.), Functional and Logic Programming: Ninth International Workshop, WFLP'2000, Benicàssim, Spain, September 28-30, 2000 (pp. 56-71). Universidad Politéchnica de Valencia.
  • van Eijck, D. J. N. (2000). Making things happen. Studia Logica, 66, 41-58.
  • van Eijck, D. J. N. (2000). The proper treatment of context in NL. In P. Monachesi (Ed.), Computational Linguistic in the Netherlands 1999; Selected Papers from the Tenth CLIN Meeting (pp. 41-51). Utrecht Institute of Linguistics OTS.
Page 5 of 7