van Ditmarsch, H., Gattinger, M. (2024) You can only be lucky once: optimal gossip for epistemic goals.

Mathematical Structures in Computer Science

Article | https://doi.org/10.1017/S0960129524000082 | UvA-DARE

van Ditmarsch, H., Knight, S., Özgün, A. (2018) Private Announcements on Topological Spaces.

Studia Logica, Vol. 106 (pp 481-513)

Article | https://doi.org/10.1007/s11225-017-9750-z | UvA-DARE

van Ditmarsch, H., Knight, S., Özgün, A. (2019) Announcement as Effort on Topological Spaces.

Synthese, Vol. 196 (pp 2927–2969)

Article | https://doi.org/10.1007/s11229-017-1592-8 | UvA-DARE

van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F. (2017) Epistemic protocols for dynamic gossip.

Journal of Applied Logic, Vol. 20 (pp 1-31)

Article | https://doi.org/10.1016/j.jal.2016.12.001 | UvA-DARE

van Ditmarsch, H., van Eijck, J., Sietsma, F., Wang, Y. (2012) On the Logic of Lying.

In van Eijck, J. Verbrugge, R. (Eds.), Games, Actions and Social Software: Multidisciplinary Aspects (pp 41-72) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7010). Springer.

van Ditmarsch, H., van Eijck, J., Wu, W. (2010) Verifying one hundred prisoners and a lightbulb.

Journal of Applied Non-Classical Logics, Vol. 20 (pp 173-191)

Article | https://doi.org/10.3166/jancl.20.173-191 | UvA-DARE

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