van Eck, D., Weber, E. (2021) Assessing function modeling frameworks: technical advantage predictions as a conceptual tool.

Engineering Studies, Vol. 13 (pp 205-225)

Article | https://doi.org/10.1080/19378629.2021.1989441 | UvA-DARE

van Eck, D., Wright, C. (2021) Mechanist idealisation in systems biology.

Synthese, Vol. 199 (pp 1555–1575)

Article | https://doi.org/10.1007/s11229-020-02816-8 | UvA-DARE

van Eck, D. (2022) What is a complex system?.

Institute for Advanced Study (IAS), University of Amsterdam.

Web publication or website | https://ias.uva.nl/content/news/2022/12/what-is-a-complex-system.html | UvA-DARE

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, Vol. 13 (pp 462-496)

Article | https://doi.org/10.1109/69.929903 | UvA-DARE

Van Eecke, P., Fernández, R. (2016) On the Influence of Gender on Interruptions in Multiparty Dialogue.

Interspeech, Vol. 17 (pp 2070-2074)

Article | https://doi.org/10.21437/Interspeech.2016-951 | UvA-DARE

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.

Book (Editorship) | UvA-DARE

van Eijck, J., Gattinger, M., Wang, Y. (2017) Knowing Values and Public Inspection.

In Ghosh, S. Prasad, S. (Eds.), Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings (pp 77-90) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10119). Springer.

van Eijck, J., Gattinger, M. (2015) Elements of epistemic crypto logic.

In AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey (pp 1795-1796). International Foundation for Autonomous Agents and Multiagent Systems.

van Eijck, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2000) A tableau calculus for dynamic first order logic with applications in natural language semantics.

In Bos, Johan Kohlhase, Michael (Eds.), ICOS-2 Proceedings (pp 25-40)

van Eijck, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2000) Theorem proving and programming with dynamic first order logic.

In Alpuente, María (Eds.), 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, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2000) Theorem proving and porgramming with dynamic first order logic - full version.

technical Report. Institute for Logic Language and Computation.

Report | UvA-DARE

van Eijck, J., Heguiabehere, J.M., Ó Nualláin, B.S. (2001) Tableau reasoning and programming with dynamic first order logic.

Logic Journal of the IGPL, Vol. 9 (pp 411-445)

Article | UvA-DARE

van Eijck, J., Heguiabehere, J.M. (1999) Dynamo with constraint handling.

vg logic/info (oud WINS).

Report | UvA-DARE

van Eijck, J., Jaspars, J., Ketting, J., Pauly, M. (2002) Denkende machines: Computers, rekenen redeneren.

of Cambridge Tracts in Computer Science. Secondary School Textbook.

Book | UvA-DARE

van Eijck, J., Ju, F., Xu, T. (2024) Modeling dynamics of legal relations with dynamic logic.

Journal of Logic and Computation, Vol. 34 (pp 372–398)

Article | https://doi.org/10.1093/LOGCOM/EXAC055 | UvA-DARE

van Eijck, J., Lappin, S (2013) Probabilistic Semantics for Natural Language.

In Christoff, Z Galeazzi, P Gierasimczuk, N Marcoci, A Smets, S (Eds.), Logic and Interactive Rationality Yearbook 2012, Volume II (pp 17-35). ILLC.

van Eijck, J., Renne, B. (2014) Belief as Willingness to Bet.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.1412.5090 | UvA-DARE

van Eijck, J., Ruan, J., Sadzik, T. (2012) Action Emulation.

Synthese, Vol. 185 (pp 131-151)

Article | https://doi.org/10.1007/s11229-012-0083-1 | UvA-DARE

van Eijck, J., Schwarzentruber, F. (2014) Epistemic Probability Logic Simplified.

In Goré, R. Kooi, B. Kurucz, A. (Eds.), Advances in Modal Logic: AiML 10 (pp 158-177). College Publications.

van Eijck, J., Sietsma, F. (2012) Questions about voting rules, with some answers.

In Goranko, V. Jamroga, W. (Eds.), Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems: LAMAS 2012 : Satellite workshop of AAMAS 2012, June 5, 2012, Valencia, Spain (pp 39-54). Individual and Collective Reasoning Group, University of Luxembourg.