-
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.Chapter | https://doi.org/10.1007/978-3-642-29326-9_4 | UvA-DAREvan 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-DAREvan Eck, D. Weber, E. (2021) Assessing function modeling frameworks: technical advantage predictions as a conceptual tool.Engineering Studies, Vol. 13 (pp 205-225)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-DAREvan 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-DAREvan 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-DAREVan Eecke, P. Fernández, R. (2016) On the Influence of Gender on Interruptions in Multiparty Dialogue.Interspeech, Vol. 17 (pp 2070-2074)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-DAREvan 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 Bos, Johan Kohlhase, Michael (Eds.), ICOS-2 Proceedings (pp 25-40)Conference contribution | UvA-DAREvan Eijck, D.J.N. 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.Conference contribution | UvA-DAREvan 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. Institute for Logic Language and Computation.Report | UvA-DAREvan 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, Vol. 9 (pp 411-445)Article | UvA-DAREvan Eijck, D.J.N. Heguiabehere, J.M. (1999) Dynamo with constraint handling.vg logic/info (oud WINS).Report | UvA-DAREvan Eijck, D.J.N. Jaspars, J. Ketting, J. Pauly, M. (2002) Denkende machines: Computers, rekenen redeneren.of Cambridge Tracts in Computer Science. Secondary School Textbook.Book | UvA-DAREvan Eijck, D.J.N. 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.Conference contribution | UvA-DAREvan Eijck, D.J.N. Stokhof, M.J.B. (2006) The gamut of dynamic logics.In Gabbay, D. Woods, J. (Eds.), Handbook of the history of logic. - Vol. 7: Logic and the modalities in the twentieth century (pp 499-600). Elsevier.Chapter | UvA-DAREvan Eijck, D.J.N. (1998) Axiomatising Dynamic Logics for Anafora.INS-R9812/ LP-1998. WINS (oud WINS).Report | UvA-DAREvan Eijck, D.J.N. (1998) Dynamic reasoning without variables.INS-R9801. WINS (oud WINS).Report | UvA-DAREvan Eijck, D.J.N. (1998) incremental dynamics.INS-R9811/LP1998. WINS (oud WINS).Report | UvA-DAREvan Eijck, D.J.N. (1998) Programming with dynamic predicate logic.INS-R9810. WINS (oud WINS).Report | UvA-DAREThe 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 illc at uva.nl