You are here Publications

Publications

Publications

Year Authors Title
  2013 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 , pp497-504. DOI: http://dx.doi.org/10.1007/978-3-642-41278-3_60
  2017 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), pp124-133
  2016 Derek Kelleher, Tim Fernando and Carl Vogel Between the Event Calculus and Finite State Temporality Formal Grammar, pp112-129. DOI: http:/doi.org/10.1007/978-3-662-53042-9_7
  2015 Derek Kelleher, Tim Fernando and Carl Vogel Between the Event Calculus and Finite State Temporality Proceedings of the 20th Conference on Formal Grammar, pp107-121
  2004 Fernando, T. Inertia in temporal modification Proceedings, Fourteenth Semantic and Linguistic Theory Conference. DOI: http://dx.doi.org/10.3765/salt.v0i0.2916
  2004 Fernando, T. A finite-state approach to events in natural language semantics Journal of Logic and Computation, 14(1), pp79-92. DOI: http://dx.doi.org/10.1093/logcom/14.1.79
  2003 Fernando, T. Reichenbach's E, R and S in a finite-state setting Proceedings, Sinn und Bedeutung 2003 (SuB VIII), pp111-122
  2003 Fernando, T. Causation and inertia over strings Proceedings, Fourteenth Amsterdam Colloquium, pp111-116
  2002 Fernando, T. A finite-state approach to event semantics Proceedings, Ninth International Symposium on Temporal Representation and Reasoning (TIME-02), pp124-131. DOI: http://dx.doi.org/10.1109/time.2002.1027485
  2002 Fernando, T. Between events and worlds under historical necessity Proceedings, Seventh Symposium on Logic and Language, pp27-36
  2002 Fernando, T. Towards a many-dimensional modal logic for semantic processing Advances in Modal Logic, Volume 3, pp139-151
  2001 Fernando, T. A type reduction from proof-conditional to dynamic semantics Journal of Philosophical Logic, 30(2), pp121-153. DOI: http://dx.doi.org/10.1023/a:1017541301458
  2001 Fernando, T. Conservative generalized quantifiers and presupposition Proceedings, Eleventh Semantic and Linguistic Theory conference (SALT XI), pp172-191. DOI: http://dx.doi.org/10.3765/salt.v0i0.2842
  2001 Fernando, T. Ambiguous discourse in a compositional context: An operational perspective Journal of Logic, Language and Information, 10(1), pp63-86
  2000 Fernando, T. Between proofs and models: presuppositions Inference in Computational Semantics (ICoS-2)
  1999 Fernando, T. Ambiguous propositions typed Proceedings, Ninth Conference of the European Chapter of the Association for Computational Linguistics `99, pp86-93
  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
  1999 Fernando, T. Non-monotonicity from constructing semantic representations Proceedings, Twelfth Amsterdam Colloquium, pp7-12
  1999 Fernando, T. A modal logic for non-deterministic discourse processing Journal of Logic, Language and Information, 8(4), pp445-468
  1998 Fernando, T. In conjunction with qualitative probability Annals of Pure and Applied Logic, 92(3), pp217-234
  1997 Fernando, T. Ambiguity under changing contexts Linguistics and Philosophy, 20(6), pp575-606
  1996 Fernando, T. A persistent notion of truth in dynamic semantics Logic, Language and Computation, pp199-219
  1995 Fernando, T. Computational foundations for dynamic accounts of presuppositions Workshop on Computational Logic for Natural Language Processing
  1995 Fernando, T. A logical connective for ambiguity requiring disambiguation Ellipsis, Underspecification, Events and More in Dynamic Semantics
  1995 Fernando, T. Non-monotonic consequences of preferential contextual disambiguation Proceedings Tenth Amsterdam Colloquium
  1994 Fernando, T. What is a DRS? Integrating Semantic Theories II
  1994 Fernando, T. Bisimulations and predicate logic Journal of Symbolic Logic, 59(3), pp924-944
  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
  1993 Fernando, T. A higher-order extension of constraint programming in discourse analysis Principles and Practice of Constraint Programming (PPCP'93)
  1993 Fernando, T. Comparative transition system semantics Computer Science Logic: Selected Papers from CSL `92, pp149-166
  1993 Fernando, T. Generalized quantifiers as second-order programs "dynamically" speaking, naturally Proceedings, Ninth Amsterdam Colloquium
  1992 Fernando, T. Transition systems and dynamic semantics Logics in AI, pp232-251
  1992 Fernando, T. A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Computer Science Logic `91, pp96-110
  1991 Fernando, T. Provably recursive programs and program extraction Proceedings, ICALP `91, pp303-313
  1990 Fernando, T. On the logic of situation theory In Situation theory and its applications, pp97-116
  1989 Fernando, T. On substitutional recursion over non-well-founded sets Fourth Annual Symposium on Logic in Computer Science
  1996 Fernando, T. and Kamp, H. Expecting Many Proceeedings, Sixth Semantic and Linguistic Theory conference, pp53-68
  1999 Fernando, T., Asher, N. Labeled representations, underspecification and disambiguation Computing Meaning, pp73-94
  1988 Leivant, D., Fernando, T. Meager and replete failures of relative completeness Journal of the ACM, 35(4), pp953-964
  2012 Ruth Kempson, Tim Fernando, Nicholas Asher (editors) Philosophy of Linguistics
  2023 Tim Fernando Triadic temporal representations and deformations Natural Logic meets Machine Learning IV
  2022 Tim Fernando Action signatures and finite-state variations Annotation, Recognition and Evaluation of Actions II, pp9
  2022 Tim Fernando Strings from neurons to language Natural Logic meets Machine Learning III, pp10
  2020 Tim Fernando Temporal Representations with and without Points Logic and Algorithms in Computational Linguistics 2018, pp45-66
  2019 Tim Fernando Finite-state methods featuring semantics Tokens of Meaning, pp527-544
  2019 Tim Fernando Pictorial Narratives and Temporal Refinement Proceedings of SALT 29
  2019 Tim Fernando String iconicity and granularity 22nd Amsterdam Colloquium, pp10
  2018 Tim Fernando Predications, fast and slow COMMONSENSE 2017, Thirteenth International Symposium on Commonsense Reasoning, 2052, pp1-8
  2017 Tim Fernando Intensions, types and finite-state truth-making Modern Perspectives in Type-Theoretical Semantics, pp223-243
  2016 Tim Fernando On regular languages over power sets Journal of Language Modelling, 4(1), pp29-56

Page: 1 of 2  Records: 88
Page 1 2