Skip to main content

Trinity College Dublin, The University of Dublin

Trinity Menu Trinity Search

You are here People

Rafael Fernando
Assistant Professor, Computer Science


Born in the Philippines, educated mainly in California, and subsequently employed at various institutions in Europe and the States.

Publications and Further Research Outputs

Peer-Reviewed Publications

Temporal Representations with and without Points in, editor(s)R. Loukanova , Logic and Algorithms in Computational Linguistics 2018, Switzerland, Springer, 2020, pp45 - 66, [Tim Fernando] Book Chapter, 2020

Tim Fernando and Carl Vogel, Prior Probabilities of Allen Interval Relations over Finite Orders, Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: NLPinAI, , Prague, Czech Republic, 2019, pp952-961 Conference Paper, 2019 TARA - Full Text URL

Finite-state methods featuring semantics in, editor(s)C. Condoravdi and T.H. King , Tokens of Meaning, Stanford, CA, CSLI Publications, 2019, pp527 - 544, [Tim Fernando] Book Chapter, 2019

Tim Fernando, Predications, fast and slow, CEUR Workshop Proceedings, COMMONSENSE 2017, Thirteenth International Symposium on Commonsense Reasoning, London, November 6-8, 2017, edited by Andrew S. Gordon, Rob Miller, György Turán , 2052, (ISSN 1613-0073), CEUR Workshop Proceedings, 2018, pp1-8 Conference Paper, 2018 URL

David Woods, Tim Fernando, Carl Vogel, Towards efficient string processing of annotated events, Proceedings of the 13th Joint ISO-ACL Workshop on Interoperable Semantic Annotation (ISA-13), Montpellier, France, September 19, 2017, edited by Harry Bunt , 2017, pp124-133 Conference Paper, 2017 TARA - Full Text URL

Intensions, types and finite-state truth-making in, Chatzikyriakidis, Stergios, and Luo, Zhaohui , Modern Perspectives in Type-Theoretical Semantics, Springer, 2017, pp223 - 243, [Tim Fernando] Book Chapter, 2017 URL

Tim Fernando, On regular languages over power sets, Journal of Language Modelling, 4, (1), 2016, p29 - 56 Journal Article, 2016 URL

Tim Fernando, Prior and temporal sequences for natural language, Synthese, 193, (11), 2016, p3625 - 3637 Journal Article, 2016 URL

Between the Event Calculus and Finite State Temporality in, editor(s)Annie Foret, Glyn Morrill, Reinhard Muskens,Rainer Osswald, Sylvain Pogodalla , Formal Grammar, Heidelberg, Springer, 2016, pp112-129 , [Derek Kelleher, Tim Fernando and Carl Vogel] Book Chapter, 2016 DOI TARA - Full Text

Types from Frames as Finite Automata in, editor(s)Foret, A., Morrill, G., Muskens, R., Osswald, R., Pogodalla, S , Formal Grammar, Berlin, Springer Verlag, 2016, pp19 - 40, [Tim Fernando] Book Chapter, 2016

The semantics of tense and aspect: a finite-state perspective in, editor(s)S. Lappin, C. Fox , The Handbook of Contemporary Semantic Theory, Wiley, 2015, pp203 - 236, [Tim Fernando] Book Chapter, 2015 URL

Derek Kelleher, Tim Fernando and Carl Vogel, Between the Event Calculus and Finite State Temporality, Proceedings of the 20th Conference on Formal Grammar, Barcelona, August 8-9, 2015, edited by Annie Foret, Glyn Morrill, Reinhard Muskens and Rainer Osswald , Foundation of Logic, Language and Information, 2015, pp107-121 Conference Paper, 2015

Tim Fernando, Two Perspectives on Change and Institutions, CEUR Workshop Proceedings, Formal Ontologies for Artificial Intelligence , Buenos Aires, July 25-27,2015, edited by O. Papini et al , 1517, (4),, 2015, pp8 Conference Paper, 2015 URL

Tim Fernando, Negation and events as truthmakers, 20th Amsterdam Colloquium, Amsterdam, December 16-18, 2015, University of Amsterdam, 2015, pp109 - 118 Conference Paper, 2015 URL

Tim Fernando, Incremental semantic scales by strings,, Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics, Type Theory and Natural Language Semantics, Gothenburg, Sweden, 27 April 2014, Association for Computational Linguistics, 2014, pp63 - 71 Conference Paper, 2014 DOI TARA - Full Text URL

Tim Fernando, Segmenting Temporal Intervals for Tense and Aspect, 13th Meeting on the Mathematics of Language (MoL 13), Sofia, Bulgaria, August 9, 2013, Association for Computational Linguistics, 2013, pp30 - 40 Conference Paper, 2013 URL

Tim Fernando, Dowty's aspect hypothesis segmented, 19th Amsterdam Colloquium, Amsterdam, December 18-20, 2013, University of Amsterdam, 2013, pp107 - 114 Conference Paper, 2013 URL

Daniel Isemann, Khurshid Ahmad, Tim Fernando, and Carl Vogel, Temporal Dependence in Legal Documents, Intelligent Data Engineering and Automated Learning - IDEAL2013 - 14th International Conference, IDEAL 2013 , Hefei, China, October 20-23, 2013, edited by Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li and Xin Yao , LNCS 8206, Springer, 2013, pp497-504 Conference Paper, 2013 TARA - Full Text DOI

Tim Fernando, Finite State Methods and Description Logic, 11th International Conference on Finite State Methods and Natural Language Processing, St Andrews, Scotland, July 15-17, 2013, Association for Computational Linguistics, 2013, pp63 - 71 Conference Paper, 2013 URL

Partitions representing change homogeneously, in, A festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, 2013, pp91 - 95, [Tim Fernando] Book Chapter, 2013 URL

Situation types subatomically in, editor(s)Staffan Larsson, Lars Borin , From quantification to conversation, London, College Publications, 2012, pp129 - 144, [Tim Fernando] Book Chapter, 2012

Tim Fernando, A finite-state temporal ontology and event-intervals, Proceedings of the 10th International Workshop on Finite State Methods and Natural Language Processing, 10th International Workshop on Finite State Methods and Natural Language Processing, San Sebastian, Spain, July 23-25, 2012, Association for Computational Linguistics, 2012, pp80 - 89 Conference Paper, 2012

Steedman's temporality proposal and finite automata in, editor(s)Maria Aloni et al , Logic, Language and Meaning, Berlin, Springer Verlag, 2012, pp301 - 310, [Tim Fernando] Book Chapter, 2012

Compositionality in discourse from a logical perspective in, editor(s)Markus Werning and Wolfram Hinzen and Edouard Machery , The Oxford Handbook of Compositionality, Oxford, Oxford University Press, 2012, pp279 - 304, [Tim Fernando] Book Chapter, 2012 URL

Ruth Kempson, Tim Fernando, Nicholas Asher (editors), Philosophy of Linguistics, 1, Oxford, Elsevier, 2012, vii - 574pp Book, 2012 URL

Tim Fernando, Strings over intervals, Proceedings, TextInfer 2011, Workshop on Textual Entailment, EMNLP 2011, Edinburgh, July 30, 2011, 2011, pp50 - 58 Conference Paper, 2011 URL

Tim Fernando, Constructing situations and time, Journal of Philosophical Logic, 40, (3), 2011, p371 - 396 Journal Article, 2011 URL DOI

Tim Fernando, Finite-state representations embodying temporal relations , Proceedings, 9th International Workshop on Finite State Methods and Natural Language Processing, Blois, France, July 12-15, 2011, 2011, pp12 - 20 Conference Paper, 2011 URL

Tim Fernando, Regular relations for temporal propositions, Natural Language Engineering, 17, (2), 2011, p163 - 184 Journal Article, 2011 TARA - Full Text URL DOI

Temporal propositions as vague predicates in, editor(s)M. Aloni, H. Bastiaanse, T. de Jager, K. Schulz , Logic, Language and Meaning, Berlin, Springer-Verlag, 2010, pp143 - 152, [Tim Fernando] Book Chapter, 2010

Tim Fernando, Situations in LTL as strings, Information and Computation, 207, (10), 2009, p980 - 999 Journal Article, 2009 DOI

Tim Fernando, Situations as indices and as denotations, Linguistics and Philosophy, 32, (2), 2009, p185 - 206 Journal Article, 2009 DOI

Tim Fernando, Branching from inertia worlds, Journal of Semantics, 25, (3), 2008, p321 - 344 Journal Article, 2008 DOI URL

Situations from events to proofs in, editor(s)Kepa Korta and Joana Garmendia , Meaning, Intentions, and Argumentation, CSLI, Stanford, University of Chicago Press, 2008, pp113 - 129, [Tim Fernando] Book Chapter, 2008 URL

Finite-state descriptions for temporal semantics in, editor(s)Harry Bunt and Reinhard Muskens , Computing Meaning, Dordrecht, The Netherlands, Springer, 2007, pp347 - 368, [Tim Fernando] Book Chapter, 2007

Tim Fernando, Clauses as types, LogKCA-07, San Sebastian, Spain, November 28-30, 2007, edited by Xabier Arrazola, Jesus Larrazabal , ISBN 978 84 9860 022 3, University of the Basque Country Press, 2007, pp67 - 79 Conference Paper, 2007

Temporal propositions as regular languages in, editor(s)Mixel Aurnague, Kepa Korta and Jesus Larrazabal , Language, Representation and Reasoning, San Sebastian, Spain, University of the Basque Country Press, 2007, pp167 - 187, [Tim Fernando] Book Chapter, 2007

Tim Fernando, Observing events and situations in time, Linguistics and Philosophy, 30, (5), 2007, p527 - 550 Journal Article, 2007 DOI URL

Tim Fernando, Representing events and discourse: comments on Hamm, Kamp and van Lambalgen, Theoretical Linguistics, 32, (1), 2006, p57 - 64 Journal Article, 2006 DOI URL

Tim Fernando, Finite-state temporal projection, Lecture Notes in Computer Science, Implementation and Application of Automata, Taiwan, August 21-23, 2006, edited by O. Ibarra and H.C. Yen , 4094, Springer, 2006, pp230 - 241 Conference Paper, 2006 DOI

Tim Fernando, Situations as strings, Electronic Notes in Theoretical Computer Science, 165, 2006, p23 - 36 Journal Article, 2006 URL DOI

Compositionality inductively, co-inductively and contextually in, editor(s)M. Werning, E. Machery, and G. Schurz , The Compositionality of Meaning and Content, Frankfurt, Ontos Verlag, 2005, pp87 - 96, [Tim Fernando] Book Chapter, 2005

Tim Fernando, Comic relief for anankastic conditionals, Proceedings of the Fifteenth Amsterdam Colloquium, Fifteenth Amsterdam Colloquium, Amsterdam, Dec 19-21, 2005, edited by P. Dekker and M. Franke , University of Amsterdam, 2005, pp71 - 76 Conference Paper, 2005

Tim Fernando, Schedules in a temporal interpretation of modals, Journal of Semantics, 22, 2005, p211 - 229 Journal Article, 2005 DOI

Tim Fernando and Rowan Nairn, Entailments in finite-state temporality, Sixth International Workshop on Computational Semantics, Tilburg, NL, January 12-14, 2005, edited by Harry Bunt and Jeroen Goertzen and Elias Thijse , Tilburg University, 2005, pp128 - 138 Conference Paper, 2005

Tim Fernando, Events from temporal logic to regular languages with branching, Proceedings of FG-MOL 2005, 10th Formal Grammar and 9th Mathematics of Language, Edinburgh, August 5-7,2005, edited by G. Jaeger, P. Monachesi, G. Penn, J. Rogers and S. Wintner , Center for the Study of Language and Information, 2005, pp27 - 38 Conference Paper, 2005

Fernando, T., A finite-state approach to events in natural language semantics, Journal of Logic and Computation, 14, (1), 2004, p79 - 92 Journal Article, 2004 DOI

Are context change potentials functions? in, editor(s)Hans Kamp and Barbara Partee , Context-Dependence in the Analysis of Linguistic Meaning, Amsterdam, Elsevier, 2004, pp117 - 136, [Tim Fernando] Book Chapter, 2004

Fernando, T., Inertia in temporal modification, Proceedings, Fourteenth Semantic and Linguistic Theory Conference, Northwestern/Cornell University, 2004 Conference Paper, 2004 DOI

Fernando, T., Reichenbach's E, R and S in a finite-state setting, Proceedings, Sinn und Bedeutung 2003 (SuB VIII), Frankfurt, 29 Sept - 1 Oct, 2003, pp111 - 122 Conference Paper, 2003

Fernando, T., Causation and inertia over strings, Proceedings, Fourteenth Amsterdam Colloquium, Universiteit van Amsterdam,, 2003, pp111 - 116 Conference Paper, 2003

Fernando, T., A finite-state approach to event semantics, Proceedings, Ninth International Symposium on Temporal Representation and Reasoning (TIME-02), Manchester, IEEE Computer Society Press, 2002, pp124 - 131 Conference Paper, 2002 DOI

Three processes in natural language interpretation in, editor(s)W. Sieg, R. Sommer and C. Talcott , Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, Massachusetts, Association for Symbolic Logic, 2002, pp208 - 227, [Tim Fernando] Book Chapter, 2002

Towards a many-dimensional modal logic for semantic processing in, editor(s)F. Wolter, H. Wansing, M. de Rijke and M. Zakharyaschev , Advances in Modal Logic, Volume 3, Singapore, World Scientific, 2002, pp139 - 151, [Fernando, T.] Book Chapter, 2002

Fernando, T., Between events and worlds under historical necessity, Proceedings, Seventh Symposium on Logic and Language, Pecs, Hungary, August, 2002, pp27 - 36 Conference Paper, 2002

Fernando, T., A type reduction from proof-conditional to dynamic semantics, Journal of Philosophical Logic, 30, (2), 2001, p121 - 153 Journal Article, 2001 DOI

Fernando, T., Ambiguous discourse in a compositional context: An operational perspective, Journal of Logic, Language and Information, 10, (1), 2001, p63 - 86 Journal Article, 2001

Fernando, T., Conservative generalized quantifiers and presupposition, Proceedings, Eleventh Semantic and Linguistic Theory conference (SALT XI), New York/Cornell University, 2001, pp172 - 191 Conference Paper, 2001 DOI

Fernando, T., Between proofs and models: presuppositions, Inference in Computational Semantics (ICoS-2), Dagstuhl, Germany, 2000 Conference Paper, 2000

Fernando, T., Ambiguous propositions typed, Proceedings, Ninth Conference of the European Chapter of the Association for Computational Linguistics `99, Bergen, 1999, pp86 - 93 Conference Paper, 1999

Fernando, T., Relating two theories of meaning relations, Workshop on Theoretical Bases for Semantics and Pragmatics in NLP, in Conjunction with the TALN'99 conference on Natural Language Processing, Institut d'Etudes, Scientifiques de Cargese (Corsica), 12-16 July, 1999 Conference Paper, 1999

Fernando, T., A modal logic for non-deterministic discourse processing, Journal of Logic, Language and Information, 8, (4), 1999, p445 - 468 Journal Article, 1999

Fernando, T., Non-monotonicity from constructing semantic representations, Proceedings, Twelfth Amsterdam Colloquium, Universiteit van Amsterdam, 1999, pp7 - 12 Conference Paper, 1999

Fernando, T., In conjunction with qualitative probability, Annals of Pure and Applied Logic, 92, (3), 1998, p217 - 234 Journal Article, 1998

Fernando, T., Ambiguity under changing contexts, Linguistics and Philosophy, 20, (6), 1997, p575 - 606 Journal Article, 1997

Fernando, T. and Kamp, H., Expecting Many, Proceeedings, Sixth Semantic and Linguistic Theory conference, New Brunswick, New Jersey, April, 1996, pp53 - 68 Conference Paper, 1996

Fernando, T., Non-monotonic consequences of preferential contextual disambiguation, Proceedings Tenth Amsterdam Colloquium, Universiteit van Amsterdam, 1995 Conference Paper, 1995

Fernando, T., A logical connective for ambiguity requiring disambiguation, Ellipsis, Underspecification, Events and More in Dynamic Semantics, September, 1995 Conference Paper, 1995

Fernando, T., Computational foundations for dynamic accounts of presuppositions, Workshop on Computational Logic for Natural Language Processing, Edinburgh, April, 1995 Conference Paper, 1995

Fernando, T., Bisimulations and predicate logic, Journal of Symbolic Logic, 59, (3), 1994, p924 - 944 Journal Article, 1994

Fernando, T., What is a DRS?, Integrating Semantic Theories II, September, edited by R. Cooper and J. Groenendijk , 1994 Conference Paper, 1994

Fernando, T., The donkey strikes back: extending the dynamic interpretation "constructively.", Proceedings, Sixth Conference of the European Chapter of the Association for Computational Linguistics `93, Utrecht, 1993 Conference Paper, 1993

Fernando, T., Generalized quantifiers as second-order programs "dynamically" speaking, naturally, Proceedings, Ninth Amsterdam Colloquium, Universiteit van Amsterdam, 1993 Conference Paper, 1993

Fernando, T., A higher-order extension of constraint programming in discourse analysis, Principles and Practice of Constraint Programming (PPCP'93), Newport, Rhode Island, 1993 Conference Paper, 1993

Fernando, T., Provably recursive programs and program extraction, Lecture Notes in Computer Science 510, Proceedings, ICALP `91, Berlin, edited by J. Leach Albert et al. , Springer-Verlag, 1991, pp303 - 313 Conference Paper, 1991

Fernando, T., On substitutional recursion over non-well-founded sets, IEEE, Computer Science Press, Fourth Annual Symposium on Logic in Computer Science, Washington D.C., 1989 Conference Paper, 1989

Leivant, D., Fernando, T., Meager and replete failures of relative completeness, Journal of the ACM, 35, (4), 1988, p953 - 964 Journal Article, 1988

Non-Peer-Reviewed Publications

Labeled representations, underspecification and disambiguation in, editor(s)H. Bunt and R. Muskens , Computing Meaning, Dordrecht, Kluwer Academic Press, 1999, pp73 - 94, [Fernando, T., Asher, N.] Book Chapter, 1999

A persistent notion of truth in dynamic semantics in, editor(s)J. Seligman and D. Westerstahl , Logic, Language and Computation, Stanford, CSLI Lecture Notes Number 58, 1996, pp199 - 219, [Fernando, T.] Book Chapter, 1996

Comparative transition system semantics in, editor(s)E. Borger et al. , Computer Science Logic: Selected Papers from CSL `92, Berlin, Lecture Notes in Computer Science 702, Springer-Verlag, 1993, pp149 - 166, [Fernando, T.] Book Chapter, 1993

Transition systems and dynamic semantics in, editor(s)D. Pearce and G. Wagner , Logics in AI, Berlin, Lecture Notes in Computer Science 633 (subseries LNAI), Springer-Verlag, 1992, pp232 - 251, [Fernando, T.] Book Chapter, 1992

A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation in, editor(s)E. Borger et al. , Computer Science Logic `91, Berlin, Lecture Notes in Computer Science 626, Springer-Verlag, 1992, pp96 - 110, [Fernando, T.] Book Chapter, 1992

On the logic of situation theory in, editor(s)R. Cooper et al. , In Situation theory and its applications, Stanford, CSLI Lecture Notes Number 22, 1990, pp97 - 116, [Fernando, T.] Book Chapter, 1990

Research Expertise


Applications of logic to natural and programming languages, and related cognitive issues. Knowledge representation and reasoning with contexts. Non-monotonic reasoning, probabilistic and modal methods. Discourse: anaphora, underspecification, ambiguity and disambiguation. Computational linguistics: formal semantics and pragmatics. RESEARCH GROUP: Artificial Intelligence Group (AIG), Computational Linguistics Group (CLG)



Member, Managing Editorial Board, Research on Language and Computation (Kluwer).

Logic and Language Area Specialist, 16th European Summer School in Logic, Language and Information, Nancy, France. August 2004

Program Co-Chair, 14th Irish Artificial Intelligence and Cognitive Science, Dublin. September 2003

Workshop Organizer, Barwise and Situation Semantics (co-located with CONTEXT'03), Stanford, California 26 June 2003

Workshop Organizer, Temporality and Discourse Context (co-located with CONTEXT'01), Dundee, Scotland. 30 July 2001

Referee: Linguistics and Philosophy, Journal of Philosophical Logic, Journal of Semantics, Journal of Logic, Language and Information, Center for the Study of Language and Information (CSLI) Lecture Notes, Computer Aided Verification (CAV), Logic in Computer Science (LICS), Matematica Contemporanea.

Awards and Honours

Fellow, Trinity College, University of Dublin, Ireland May 2003


Member, Programme Committee, Formal Grammar 2004 (Nancy) – 2004

Member, Programme Committee, Fifth, Fourth and Third International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05, 03, 01) 2001 – 2005

Member, Programme Committee, 15th Irish Artifcial Intelligence and Cognitive Science

Member, Programme Committee, Tbilisi Symposium on Language, Logic and Computation. – 1996