Searchable List of Research Output

Filter Publications
  • van Ditmarsch, H., van Eijck, J., & Wu, W. (2010). Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics, 20(3), 173-191. https://doi.org/10.3166/jancl.20.173-191 >>>
  • van Eck, D., & Weber, E. (2021). Assessing function modeling frameworks: technical advantage predictions as a conceptual tool. Engineering Studies, 13(3), 205-225. https://doi.org/10.1080/19378629.2021.1989441 >>>
  • van Eck, D., & Wright, C. (2021). Mechanist idealisation in systems biology. Synthese, 199(1-2), 1555–1575. https://doi.org/10.1007/s11229-020-02816-8 >>>
  • van Eck, D. (Author). (2022). What is a complex system?. Web publication or website, Institute for Advanced Study (IAS), University of Amsterdam. https://ias.uva.nl/content/news/2022/12/what-is-a-complex-system.html >>>
  • van Eck, P. A. T., Engelfriet, J., Fensel, D., van Harmelen, F. A. H., Venema, Y., & Willems, M. (2001). A survey of languages for specifying dynamics: A knowledge enginee ring perspective. IEEE Transactions on Knowledge & Data Engineering, 13, 462-496. https://doi.org/10.1109/69.929903 >>>
  • Van Eecke, P., & Fernández, R. (2016). On the Influence of Gender on Interruptions in Multiparty Dialogue. Interspeech, 17, 2070-2074. https://doi.org/10.21437/Interspeech.2016-951 >>>
  • van Eemeren, F. H., Grootendorst, R., van Benthem, J. F. A. K., & Veltman, F. (1996). Logic And Theory of Argumentation. Royal Netherlands Academy of Arts and Sciences. >>>
  • 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., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and porgramming with dynamic first order logic - full version. (technical Report; No. INS-R0020). Institute for Logic Language and Computation. >>>
  • 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., & Heguiabehere, J. M. (1999). Dynamo with constraint handling. vg logic/info (oud WINS). >>>
  • van Eijck, D. J. N., Jaspars, J., Ketting, J., & Pauly, M. (2002). Denkende machines: Computers, rekenen redeneren. (of Cambridge Tracts in Computer Science; No. 53). Secondary School Textbook. >>>
  • van Eijck, D. J. N., & Lappin, S. (2013). Probabilistic Semantics for Natural Language. In Z. Christoff, P. Galeazzi, N. Gierasimczuk, A. Marcoci, & S. Smets (Eds.), Logic and Interactive Rationality Yearbook 2012, Volume II (pp. 17-35). ILLC. >>>
  • van Eijck, D. J. N., & Stokhof, M. J. B. (2006). The gamut of dynamic logics. In D. Gabbay, & J. Woods (Eds.), Handbook of the history of logic. - Vol. 7: Logic and the modalities in the twentieth century (pp. 499-600). Elsevier. >>>
  • van Eijck, D. J. N. (1998). Axiomatising Dynamic Logics for Anafora. (INS-R9812/ LP-1998; No. 07). WINS (oud WINS). >>>
  • van Eijck, D. J. N. (1998). Dynamic reasoning without variables. (INS-R9801). WINS (oud WINS). >>>
  • van Eijck, D. J. N. (1998). incremental dynamics. (INS-R9811/LP1998; No. 08). WINS (oud WINS). >>>
  • van Eijck, D. J. N. (1998). Programming with dynamic predicate logic. (INS-R9810; No. CT-1998). WINS (oud WINS). >>>
  • van Eijck, D. J. N. (1998). Metalangauge versus object language. In J. L. Mey (Ed.), Concise encyclopedia of pragmatics Elsevier. >>>

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