Dr. Tim Fernando
Assistant Professor, Computer Science
Biography
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
Tim Fernando, Triadic temporal representations and deformations, Natural Logic meets Machine Learning IV, Nancy, France, June 20, 2023, ACL Archive, ACL, 2023
Tim Fernando, Strings from neurons to language, Natural Logic meets Machine Learning III, Galway, Aug 8-12, 2022, ACL Anthology, 2022, pp10
Tim Fernando, Action signatures and finite-state variations, Annotation, Recognition and Evaluation of Actions II, Galway, Aug 9-11,2022, 2022, pp9
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]
Tim Fernando, Pictorial Narratives and Temporal Refinement, Proceedings of SALT 29, 2019
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]
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
Tim Fernando, String iconicity and granularity, 22nd Amsterdam Colloquium, Amsterdam, Dec 18-20, 2019, 2019, pp10
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
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]
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
Tim Fernando, On regular languages over power sets, Journal of Language Modelling, 4, (1), 2016, p29 - 56
Tim Fernando, Prior and temporal sequences for natural language, Synthese, 193, (11), 2016, p3625 - 3637
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]
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]
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, pp8
Tim Fernando, Negation and events as truthmakers, 20th Amsterdam Colloquium, Amsterdam, December 16-18, 2015, University of Amsterdam, 2015, pp109 - 118
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
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]
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
Tim Fernando, Dowty's aspect hypothesis segmented, 19th Amsterdam Colloquium, Amsterdam, December 18-20, 2013, University of Amsterdam, 2013, pp107 - 114
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
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
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
Partitions representing change homogeneously, in, A festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, 2013, pp91 - 95, [Tim Fernando]
Situation types subatomically in, editor(s)Staffan Larsson, Lars Borin , From quantification to conversation, London, College Publications, 2012, pp129 - 144, [Tim Fernando]
Ruth Kempson, Tim Fernando, Nicholas Asher (editors), Philosophy of Linguistics, 1, Oxford, Elsevier, 2012, vii - 574pp
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]
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]
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
Tim Fernando, Strings over intervals, Proceedings, TextInfer 2011, Workshop on Textual Entailment, EMNLP 2011, Edinburgh, July 30, 2011, 2011, pp50 - 58
Tim Fernando, Regular relations for temporal propositions, Natural Language Engineering, 17, (2), 2011, p163 - 184
Tim Fernando, Constructing situations and time, Journal of Philosophical Logic, 40, (3), 2011, p371 - 396
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
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]
Tim Fernando, Situations as indices and as denotations, Linguistics and Philosophy, 32, (2), 2009, p185 - 206
Tim Fernando, Situations in LTL as strings, Information and Computation, 207, (10), 2009, p980 - 999
Tim Fernando, Branching from inertia worlds, Journal of Semantics, 25, (3), 2008, p321 - 344
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]
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
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]
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]
Tim Fernando, Observing events and situations in time, Linguistics and Philosophy, 30, (5), 2007, p527 - 550
Tim Fernando, Representing events and discourse: comments on Hamm, Kamp and van Lambalgen, Theoretical Linguistics, 32, (1), 2006, p57 - 64
Tim Fernando, Situations as strings, Electronic Notes in Theoretical Computer Science, 165, 2006, p23 - 36
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
Tim Fernando, Schedules in a temporal interpretation of modals, Journal of Semantics, 22, 2005, p211 - 229
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
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
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
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]
Fernando, T., Inertia in temporal modification, Proceedings, Fourteenth Semantic and Linguistic Theory Conference, Northwestern/Cornell University, 2004
Fernando, T., A finite-state approach to events in natural language semantics, Journal of Logic and Computation, 14, (1), 2004, p79 - 92
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]
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
Fernando, T., Causation and inertia over strings, Proceedings, Fourteenth Amsterdam Colloquium, Universiteit van Amsterdam,, 2003, pp111 - 116
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]
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.]
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
Fernando, T., Between events and worlds under historical necessity, Proceedings, Seventh Symposium on Logic and Language, Pecs, Hungary, August, 2002, pp27 - 36
Fernando, T., A type reduction from proof-conditional to dynamic semantics, Journal of Philosophical Logic, 30, (2), 2001, p121 - 153
Fernando, T., Conservative generalized quantifiers and presupposition, Proceedings, Eleventh Semantic and Linguistic Theory conference (SALT XI), New York/Cornell University, 2001, pp172 - 191
Fernando, T., Ambiguous discourse in a compositional context: An operational perspective, Journal of Logic, Language and Information, 10, (1), 2001, p63 - 86
Fernando, T., Between proofs and models: presuppositions, Inference in Computational Semantics (ICoS-2), Dagstuhl, Germany, 2000
Fernando, T., A modal logic for non-deterministic discourse processing, Journal of Logic, Language and Information, 8, (4), 1999, p445 - 468
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
Fernando, T., Ambiguous propositions typed, Proceedings, Ninth Conference of the European Chapter of the Association for Computational Linguistics `99, Bergen, 1999, pp86 - 93
Fernando, T., Non-monotonicity from constructing semantic representations, Proceedings, Twelfth Amsterdam Colloquium, Universiteit van Amsterdam, 1999, pp7 - 12
Fernando, T., In conjunction with qualitative probability, Annals of Pure and Applied Logic, 92, (3), 1998, p217 - 234
Fernando, T., Ambiguity under changing contexts, Linguistics and Philosophy, 20, (6), 1997, p575 - 606
Fernando, T. and Kamp, H., Expecting Many, Proceeedings, Sixth Semantic and Linguistic Theory conference, New Brunswick, New Jersey, April, 1996, pp53 - 68
Fernando, T., Non-monotonic consequences of preferential contextual disambiguation, Proceedings Tenth Amsterdam Colloquium, Universiteit van Amsterdam, 1995
Fernando, T., Computational foundations for dynamic accounts of presuppositions, Workshop on Computational Logic for Natural Language Processing, Edinburgh, April, 1995
Fernando, T., A logical connective for ambiguity requiring disambiguation, Ellipsis, Underspecification, Events and More in Dynamic Semantics, September, 1995
Fernando, T., Bisimulations and predicate logic, Journal of Symbolic Logic, 59, (3), 1994, p924 - 944
Fernando, T., What is a DRS?, Integrating Semantic Theories II, September, edited by R. Cooper and J. Groenendijk , 1994
Fernando, T., A higher-order extension of constraint programming in discourse analysis, Principles and Practice of Constraint Programming (PPCP'93), Newport, Rhode Island, 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, 1993
Fernando, T., Generalized quantifiers as second-order programs "dynamically" speaking, naturally, Proceedings, Ninth Amsterdam Colloquium, Universiteit van Amsterdam, 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
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
Leivant, D., Fernando, T., Meager and replete failures of relative completeness, Journal of the ACM, 35, (4), 1988, p953 - 964
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.]
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.]
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.]
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.]
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.]
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.]
Research Expertise
Description
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)Recognition
Representations
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.
Program Co-Chair, 14th Irish Artificial Intelligence and Cognitive Science, Dublin.
Workshop Organizer, Barwise and Situation Semantics (co-located with CONTEXT'03), Stanford, California
Workshop Organizer, Temporality and Discourse Context (co-located with CONTEXT'01), Dundee, Scotland.
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
Memberships
Member, Programme Committee, Formal Grammar 2004 (Nancy)
Member, Programme Committee, Fifth, Fourth and Third International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'05, 03, 01)
Member, Programme Committee, 15th Irish Artifcial Intelligence and Cognitive Science
Member, Programme Committee, Tbilisi Symposium on Language, Logic and Computation.