Franceschet, M., Montanari, A., de Rijke, M. (2000) Model Checking for combined logics.

In Workshop Proceedings ICTL 2000

Franceschet, M., Montanari, A., de Rijke, M. (2004) Model checking for combined logics with an application to mobile systems.

Automated Software Engineering, Vol. 11 (pp 289-321)

Article | UvA-DARE

Franceschet, M., ten Cate, B. (2004) Guarded fragments with constants.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Franceschet, M. (2004) XPathMark: An XPath benchmark for XMark.

Software | http://www.science.uva.nl/~francesc/xpathmark | UvA-DARE

Frank, S.L., Bod, R., Christiansen, M.H. (2012) How Hierarchical is Language Use?.

Proceedings of the Royal Society B-Biological Sciences, Vol. 279 (pp 4522-4531)

Article | https://doi.org/10.1098/rspb.2012.1741 | UvA-DARE

Frank, S.L., Bod, R. (2011) Insensitivity of the Human Sentence-Processing System to Hierarchical Structure.

Psychological Science, Vol. 22 (pp 829-834)

Article | https://doi.org/10.1177/0956797611409589 | UvA-DARE

Frank, S.L., Čerňanský, M. (2008) Generalization and systematicity in echo state networks.

In Love, B.C. McRae, K. Sloutsky, V.M. (Eds.), Proceedings of the 30th Annual Conference of the Cognitive Science Society (pp 733-738). Cognitive Science Society.

Frank, S.L., Haselager, W.F.G., van Rooij, I. (2009) Connectionist semantic systematicity.

Cognition, Vol. 110 (pp 358-379)

Article | https://doi.org/10.1016/j.cognition.2008.11.013 | UvA-DARE

Frank, S.L., Jacobsson, H. (2010) Sentence-processing in echo state networks: a qualitative analysis by finite state machine extraction.

Connection Science, Vol. 22 (pp 135-155)

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

Frank, S.L., Koppen, M., Noordman, L.G.M., Vonk, W. (2008) World knowledge in computational models of discourse comprehension.

Discourse processes, Vol. 45 (pp 429-463)

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

Frank, S.L. (2008) Self-organizing word representations for fast sentence processing.

In French, R.M. Thomas, E. (Eds.), From associations to rules: Connectionist models of behavior and cognition: Proceedings of the Tenth Neural Computation and Psychology Workshop, Dijon, France, 12-14 April, 2007 (pp 78-88). World Scientific.

Frank, S.L. (2009) Surprisal-based comparison between a symbolic and a connectionist model of sentence processing.

In Taatgen, N.A. van Rijn, H. (Eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society (pp 1139-1144). Cognitive Science Society.

Frank, S.L. (2010) Uncertainty reduction as a measure of cognitive processing effort.

In Hale, J.T. (Eds.), CMCL 2010 : 2010 Workshop on Cognitive Modeling and Computational Linguistics: ACL 2010 : proceedings of the workshop : 15 July 2010, Uppsala University, Uppsale, Sweden (pp 81-89). The Association for Computational Linguistics.

Frank, S.L. (2011) Sentence comprehension as mental simulation: an information-theoretic analysis and a connectionist model.

Progress in Neural Processing, Vol. 20 (pp 190-207)

Article | UvA-DARE

Franke, M., Aloni, M., Roelofsen, F. (2013) The dynamic, inquisitive, and visionary life of phi, phi?, and might phi: A Festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman.

ILLC.

Book (Editorship) | http://festschriften.illc.uva.nl/Festschrift-JMF/ | UvA-DARE

Franke, M., Aloni, M. (2012) [Review of: P. Hendriks, H. de Hoop, I. Krämer, H. de Swart, J. Zwarts (2010) Conflicts in interpretation].

Journal of Cognitive Science, Vol. 13 (pp 197-209)

Book/Film/Article/Exhibition review | http://cogsci.snu.ac.kr/jcs/index.php/issues/?pageid=1&mod=document&category1=Volume+13&uid=132 | UvA-DARE

Franke, M., de Jager, S.T. (2007) The Relevance of Awareness.

In Aloni, M. Dekker, P. Roelofson, F. (Eds.), Proceedings of the 16th Amsterdam Colloquium (pp 97-102)

Franke, M., de Jager, T., van Rooij, R. (2012) Relevance in cooperation and conflict.

Journal of Logic and Computation, Vol. 22 (pp 23-54)

Article | https://doi.org/10.1093/logcom/exp070 | UvA-DARE

Franke, M., Jäger, G., van Rooij, R. (2011) Vagueness, Signaling and Bounded Rationality.

In Onoda, T. Bekki, D. McCready, E. (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010 : revised selected papers (pp 45-59) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 6797). Springer.

Franke, M., Jäger, G. (2012) Bidirectional Optimization from Reasoning and Learning in Games.

Journal of Logic, Language and Information, Vol. 21 (pp 117-139)

Article | https://doi.org/10.1007/s10849-011-9151-z | UvA-DARE