Dublin University Crest Computer Science Department, Trinity College Dublin Trinity College Crest

Tim Fernando

No Word Attachments

E-mail: Tim.Fernando at tcd.ie
Telephone: +353 1 896 3800 (353=Ireland, 1=Dublin, 896=Trinity, 3800=college extension)
Postal address: Tim Fernando, Computer Science Dept, Trinity College, Dublin 2, Ireland
Office: ORI LG 17 (ORI=O'Reilly Institute, LG=lower ground floor)

Status: Lecturer
Qualifications: BS, PhD (here's my CV in PDF)
Research Areas: Natural language semantics and Knowledge representation
Research Group: Computational Linguistics Group (CLG)

Teaching (for students)
CS3011: Learn Prolog Now by P Blackburn, J Bos & K Striegnitz
CS3061: AI
PI2009/12: Formal Logic
Topics for Final Year Projects

Papers on-line (since arriving in Dublin, October 1999)
Intensions, types and finite-state truth-making, Modern Perspectives in Type-Theoretical Semantics, 223--243, 2017
On regular languages over power sets (Journal of Language Modelling 4(1):29--56, 2016)
Negation and events as truthmakers, 20th Amsterdam Colloquium, 2015, pages 109--118 (slides)
The semantics of tense and aspect: a finite-state perspective, In S. Lappin and C. Fox (eds.), The Handbook of Contemporary Semantic Theory, Second edition, Wiley, 2015, pages 203--236
Types from frames as finite automata, 20th Formal Grammar (Barcelona), August 2015, pages 18--38 (LNCS 9804, 2016, pp 19--40) (slides)
Two perspectives on changes and institutions, workshop on Formal Ontologies for AI, July 2015 (slides)
Prior and temporal sequences for natural language, Synthese 193(11):3625--3637, 2016 (doi:10.1007/s11229-015-0902-2, presented at the Arthur Prior Centenary, August 2014, slides)
Incremental semantic scales by strings, TTNLS, Gothenburg, 2014, pages 63--71 (ACL Archive, slides)
Partitions representing change homogeneously, A festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, 2013 (pages 91--95)
Dowty's aspect hypothesis segmented, Amsterdam Colloquium 2013 (pages 107--114, slides)
Segmenting temporal intervals for tense and aspect, MOL 2013, Sofia, pages 30--40 (ACL Archive)
Finite state methods and description logics, FSMNLP 2013, St Andrews, pages 63--71 (ACL Archive)
A finite-state temporal ontology and event-intervals, FSMNLP 2012, Donostia/San Sebastian, pages 80--89 (ACL Archive)
Compositionality in discourse from a logical perspective, Chapter 13 (pages 279--304), The Oxford Handbook of Compositionality, 2012
Editorial Preface (Ruth Kempson, Tim Fernando and Nicholas Asher), Handbook of Philosophy of Linguistics, 2012
Steedman's temporality proposal and finite automata, Amsterdam Colloquium 2011, LNCS 7218, pages 301-310, 2012 (Earlier version presented in the Amsterdam Colloquium, December 2011)
Strings over intervals, Proceedings of TextInfer 2011, Workshop on Textual Entailment, EMNLP 2011, pages 50--58, Edinburgh, July 30, 2011 (ACL Archive)
Finite-state representations embodying temporal relations, 9th International Workshop on Finite State Methods and Natural Language Processing, pages 12--20, Blois, 2011 (ACL Archive)
Regular relations for temporal propositions (Natural Language Engineering 17(2): 163--184, 2011)
Constructing situations and time (J. Philosophical Logic 40(3):371--396, 2011)
Temporal propositions as vague predicates (M. Aloni et al. eds., Amsterdam Colloquium 2009, Springer LNAI 6042, pages 143-152, 2010)
Situations as indices and as denotations (Linguistics and Philosophy 32(2):185--206, 2009)
Situations in LTL as strings (Information and Computation 207(10): 980--999, 2009)
Situations from events to proofs (in Meaning, Intentions, and Argumentation, edited by K. Korta and J. Garmendia, CSLI Lecture Notes Number 186, pages 113--129, 2008)
Branching from inertia worlds (Journal of Semantics 25(3):321--344, 2008)
Temporal propositions as regular languages (Finite-State Methods and Natural Language Processing, 6th International Workshop, Potsdam, pages 132--148, Universitaetsverlag Potsdam 2008)
Observing events and situations in time (Linguistics and Philosophy 30(5):527--550, October 2007)
Representing events and discourse: comments on Hamm, Kamp and van Lambalgen (pre-final copy; Theoretical Linguistics, 32(1), 2006, pages 57--64)
Finite-state temporal projection (CIAA 2006, LNCS 4094, Springer, 2006, pages 230--241)
Situations as strings (for WoLLIC 2006, Electronic Notes in Theoretical Computer Science Volume 165 , 22 November 2006, Pages 23--36)
Comic relief for anankastic conditionals (Proceedings 15th Amsterdam Colloquium, pages 71--76)
Events from temporal logic to regular languages with branching (for FG-MOL 2005)
Entailments in finite-state temporality, with Rowan Nairn (for IWCS-6; comments welcome) + related work by Lauri Karttunen on the Yale Shooting Problem
Compositionality inductively, co-inductively and contextually (in The Compositionality of Meaning and Content, edited by M. Werning, E. Machery, G. Schurz. Volume 1: Foundational Issues, pages 87--96, 2005)
Inertia in temporal modification (SALT 14, Northwestern University, pages 56--73, 2004)
Reichenbach's E, R and S in a finite-state setting (Sinn und Bedeutung 2003, Frankfurt, pages 111--122; supersedes `The progressive and perfect in pieces', presented at ESSLLI 03, Workshop on Conditional and Unconditional Modality, Vienna)
Schedules in a temporal interpretation of modals (J. Semantics 22:211--229, 2005; supersedes `Between events and worlds under historical necessity')
Finite-state descriptions for temporal semantics (to appear Computing Meaning, Volume 3, Kluwer; supersedes paper with the same title in the proceedings of IWCS-5, Tilburg, January 2003)
A finite-state approach to events in natural language semantics (J. Logic and Computation 14(1):79--92, 2004; extends section 2 of my TIME-02 paper below) Corrigendum: add "intersected with Sigma" to the end of Proposition 5, noted by Rowan Nairn
A finite-state approach to event semantics (Proc. 9th International Symp on Temporal Representation and Reasoning, TIME-02, Manchester, IEEE Computer Society Press, 2002, pages 124-131)
Conservative generalized quantifiers and presupposition (Semantics and Linguistic Theory XI, NYU/Cornell, 2001, pages 172-191)
Three processes in natural language interpretation (In Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, W. Sieg, R. Sommer and C. Talcott, eds., Association for Symbolic Logic, LNiL 15, Natick, Massachusetts, 2002, pages 208-227)
Towards a many-dimensional modal logic for semantic processing (In Advances in Modal Logic, Volume 3, World Scientific, Singapore, 2002, pages 139-151)
A type reduction from proof-conditional to dynamic semantics (J. Philosophical Logic 30(2):121-153, 2001)
Ambiguous discourse in a compositional context (J. Logic, Language and Information 10(1):63-86, 2001)

Six papers before 2000
Ambiguous propositions typed (Proc. Ninth European Association for Computational Linguistics, Bergen, 1999)
Labeled representations, underspecification and disambiguation, with Nicholas Asher (Computing Meaning, Kluwer, 1999)
In conjunction with qualitative probability (Annals of Pure and Applied Logic 92(3):217-234, 1998)
Ambiguity under changing contexts (Linguistics and Philosophy 20(6):575-606, 1997)
Expecting many, with Hans Kamp (Semantics and Linguistic Theory VI, Rutgers/Cornell, 1996, pages 53-68)
Bisimulations and predicate logic (J. Symbolic Logic 59(3):924-944, 1994)

ESSLLI XXVII (August 2015, Barcelona), Finite-state methods for sub-atomic semantics
Workshop on Natural Language Metaphysics (12-14 April 2011, Dublin)
Formal Semantics Workshop (6-8 July 2010, Westport)
ESSLLI XVII (August 2005, Edinburgh) Natural Language Semantic Representations as Types: course webpage
Language under Uncertainty: Modals, Evidentials, and Conditionals (21-23 January 2005, Kyoto University), my hand-out
North American Summer School in Logic, Language and Information (21 - 25 June 2004, UCLA), my course
New Aspects of Compositionality, An Interdisciplinary Conference in Cognitive Science (18-20 June 2004, Paris), my talk
Semantics, Pragmatics and Rhetoric, SPR-03 (6-8 November 2003, Donostia/San Sebastian)
Barwise and situation semantics (June 26, 2003, Stanford, California), co-located with CONTEXT-03
ESSLLI XIII (August 2001, Helsinki) Compositionality & Context: Dag Westerståhl's slides; a revised/corrected version of my lectures will appear soon; in the meantime, please see this and this.
Temporality and Discourse Context (July 2001, Dundee, Scotland), further materials

Last modified: 15 March 2017