Dr. Tim Fernando

• 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-121Conference Paper, 2015
• Tim Fernando, On regular languages over power sets, Journal of Language Modelling, 4, (1), 2016, p29 - 56Journal Article, 2016, URL
• 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
• Tim Fernando, Negation and events as truthmakers, 20th Amsterdam Colloquium, Amsterdam, December 16-18, 2015, University of Amsterdam, 2015, pp109 - 118Conference Paper, 2015, URL
• 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), CEUR-WS.org, 2015, pp8Conference Paper, 2015, URL
• Fernando, T., A finite-state approach to events in natural language semantics, Journal of Logic and Computation, 14, (1), 2004, p79 - 92Journal Article, 2004, DOI
• Fernando, T., A type reduction from proof-conditional to dynamic semantics, Journal of Philosophical Logic, 30, (2), 2001, p121 - 153Journal Article, 2001, DOI
• Fernando, T., Ambiguous discourse in a compositional context: An operational perspective, Journal of Logic, Language and Information, 10, (1), 2001, p63 - 86Journal Article, 2001
• Fernando, T., A modal logic for non-deterministic discourse processing, Journal of Logic, Language and Information, 8, (4), 1999, p445 - 468Journal Article, 1999
• Fernando, T., In conjunction with qualitative probability, Annals of Pure and Applied Logic, 92, (3), 1998, p217 - 234Journal Article, 1998
• Fernando, T., Ambiguity under changing contexts, Linguistics and Philosophy, 20, (6), 1997, p575 - 606Journal Article, 1997
• Fernando, T., Bisimulations and predicate logic, Journal of Symbolic Logic, 59, (3), 1994, p924 - 944Journal Article, 1994
• Leivant, D., Fernando, T., Meager and replete failures of relative completeness, Journal of the ACM, 35, (4), 1988, p953 - 964Journal Article, 1988
• 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., Inertia in temporal modification, Proceedings, Fourteenth Semantic and Linguistic Theory Conference, Northwestern/Cornell University, 2004Conference Paper, 2004, DOI
• Fernando, T., Causation and inertia over strings, Proceedings, Fourteenth Amsterdam Colloquium, Universiteit van Amsterdam,, 2003, pp111 - 116Conference Paper, 2003
• 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 - 122Conference Paper, 2003
• Fernando, T., Between events and worlds under historical necessity, Proceedings, Seventh Symposium on Logic and Language, Pecs, Hungary, August, 2002, pp27 - 36Conference Paper, 2002
• 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 - 131Conference Paper, 2002, DOI
• Fernando, T., Conservative generalized quantifiers and presupposition, Proceedings, Eleventh Semantic and Linguistic Theory conference (SALT XI), New York/Cornell University, 2001, pp172 - 191Conference Paper, 2001, DOI
• Fernando, T., Non-monotonicity from constructing semantic representations, Proceedings, Twelfth Amsterdam Colloquium, Universiteit van Amsterdam, 1999, pp7 - 12Conference Paper, 1999
• Fernando, T., Ambiguous propositions typed, Proceedings, Ninth Conference of the European Chapter of the Association for Computational Linguistics `99, Bergen, 1999, pp86 - 93Conference Paper, 1999
• Fernando, T. and Kamp, H., Expecting Many, Proceeedings, Sixth Semantic and Linguistic Theory conference, New Brunswick, New Jersey, April, 1996, pp53 - 68Conference Paper, 1996
• Fernando, T., Non-monotonic consequences of preferential contextual disambiguation, Proceedings Tenth Amsterdam Colloquium, Universiteit van Amsterdam, 1995Conference Paper, 1995
• Fernando, T., Generalized quantifiers as second-order programs "dynamically" speaking, naturally, Proceedings, Ninth Amsterdam Colloquium, Universiteit van Amsterdam, 1993Conference Paper, 1993
• 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, 1993Conference 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 - 313Conference 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., 1989Conference Paper, 1989
• Fernando, T., Between proofs and models: presuppositions, Inference in Computational Semantics (ICoS-2), Dagstuhl, Germany, 2000Conference Paper, 2000
• 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, 1999Conference Paper, 1999
• Fernando, T., A logical connective for ambiguity requiring disambiguation, Ellipsis, Underspecification, Events and More in Dynamic Semantics, September, 1995Conference Paper, 1995
• Fernando, T., Computational foundations for dynamic accounts of presuppositions, Workshop on Computational Logic for Natural Language Processing, Edinburgh, April, 1995Conference Paper, 1995
• Fernando, T., What is a DRS?, Integrating Semantic Theories II, September, edited by R. Cooper and J. Groenendijk , 1994Conference Paper, 1994
• Fernando, T., A higher-order extension of constraint programming in discourse analysis, Principles and Practice of Constraint Programming (PPCP'93), Newport, Rhode Island, 1993Conference Paper, 1993
• Tim Fernando, Prior and temporal sequences for natural language, Synthese, 193, (11), 2016, p3625 - 3637Journal 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
• 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
• 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-133Conference Paper, 2017, URL , 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
• 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
• 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 - 138Conference Paper, 2005
• 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-8Conference Paper, 2018, URL
• 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-961Conference Paper, 2019, URL , TARA - Full Text
• 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
• 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, Action signatures and finite-state variations, Annotation, Recognition and Evaluation of Actions II, Galway, Aug 9-11,2022, 2022, pp9Conference Paper, 2022, URL
• Tim Fernando, Strings from neurons to language, Natural Logic meets Machine Learning III, Galway, Aug 8-12, 2022, ACL Anthology, 2022, pp10Conference Paper, 2022, URL
• Tim Fernando, String iconicity and granularity, 22nd Amsterdam Colloquium, Amsterdam, Dec 18-20, 2019, 2019, pp10Conference Paper, 2019, URL
• Tim Fernando, Pictorial Narratives and Temporal Refinement, Proceedings of SALT 29, 2019Journal Article, 2019, URL
• Tim Fernando, Triadic temporal representations and deformations, Natural Logic meets Machine Learning IV, Nancy, France, June 20, 2023, ACL Archive, ACL, 2023Conference Paper, 2023, URL
• Tim Fernando, Schedules in a temporal interpretation of modals, Journal of Semantics, 22, 2005, p211 - 229Journal Article, 2005, 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
• 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
• 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 - 76Conference 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 - 38Conference Paper, 2005
• Tim Fernando, Representing events and discourse: comments on Hamm, Kamp and van Lambalgen, Theoretical Linguistics, 32, (1), 2006, p57 - 64Journal Article, 2006, DOI , URL
• Tim Fernando, Situations as strings, Electronic Notes in Theoretical Computer Science, 165, 2006, p23 - 36Journal Article, 2006, DOI , 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 - 79Conference Paper, 2007
• 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 - 241Conference Paper, 2006, DOI
• 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
• 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
• Tim Fernando, Branching from inertia worlds, Journal of Semantics, 25, (3), 2008, p321 - 344Journal Article, 2008, DOI , URL
• Tim Fernando, Observing events and situations in time, Linguistics and Philosophy, 30, (5), 2007, p527 - 550Journal Article, 2007, DOI , URL
• Tim Fernando, Situations in LTL as strings, Information and Computation, 207, (10), 2009, p980 - 999Journal Article, 2009, DOI
• Tim Fernando, Situations as indices and as denotations, Linguistics and Philosophy, 32, (2), 2009, p185 - 206Journal Article, 2009, 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, Regular relations for temporal propositions, Natural Language Engineering, 17, (2), 2011, p163 - 184Journal Article, 2011, DOI , URL , TARA - Full Text
• Tim Fernando, Constructing situations and time, Journal of Philosophical Logic, 40, (3), 2011, p371 - 396Journal Article, 2011, DOI , URL
• 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 - 20Conference Paper, 2011, URL
• Tim Fernando, Strings over intervals, Proceedings, TextInfer 2011, Workshop on Textual Entailment, EMNLP 2011, Edinburgh, July 30, 2011, 2011, pp50 - 58Conference Paper, 2011, URL
• Ruth Kempson, Tim Fernando, Nicholas Asher (editors), Philosophy of Linguistics, 1, Oxford, Elsevier, 2012, vii - 574ppBook, 2012, URL
• 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
• 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
• 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 - 89Conference Paper, 2012
• 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
• 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-504Conference Paper, 2013, DOI , URL , TARA - Full Text
• 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 - 40Conference Paper, 2013, URL
• 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 - 71Conference Paper, 2013, URL
• Tim Fernando, Dowty's aspect hypothesis segmented, 19th Amsterdam Colloquium, Amsterdam, December 18-20, 2013, University of Amsterdam, 2013, pp107 - 114Conference 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
• 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 - 71Conference Paper, 2014, DOI , URL , TARA - Full Text

• 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
• 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
• 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
• 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
• 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
• 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

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)

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

• Member, Programme Committee, Formal Grammar 2004 (Nancy) 2004
• Member, Programme Committee, 15th Irish Artifcial Intelligence and Cognitive Science
• Member, Programme Committee, Tbilisi Symposium on Language, Logic and Computation. 1996
• Member, Programme Committee, Fifth, Fourth and Third International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05, 03, 01) 2005

• Workshop Organizer, Barwise and Situation Semantics (co-located with CONTEXT'03), Stanford, California 26 June 2003
• Program Co-Chair, 14th Irish Artificial Intelligence and Cognitive Science, Dublin. September 2003
• Program Co-Chair, 14th Irish Artificial Intelligence and Cognitive Science, Dublin. September 2003
• Workshop Organizer, Temporality and Discourse Context (co-located with CONTEXT'01), Dundee, Scotland. 30 July 2001
• 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
• Logic and Language Area Specialist, 16th European Summer School in Logic, Language and Information, Nancy, France. August 2004
• 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
• Member, Managing Editorial Board, Research on Language and Computation (Kluwer).
• 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.
• 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.