| |
1988 |
Leivant, D., Fernando, T. |
Meager and replete failures of relative completeness Journal of the ACM, 35(4), pp953-964 |
| |
1989 |
Fernando, T. |
On substitutional recursion over non-well-founded sets Fourth Annual Symposium on Logic in Computer Science |
| |
1990 |
Fernando, T. |
On the logic of situation theory In Situation theory and its applications, pp97-116 |
| |
1991 |
Fernando, T. |
Provably recursive programs and program extraction Proceedings, ICALP `91, pp303-313 |
| |
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 |
| |
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 |
| |
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 |
| |
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 |
| |
1996 |
Fernando, T. |
A persistent notion of truth in dynamic semantics Logic, Language and Computation, pp199-219 |
| |
1996 |
Fernando, T. and Kamp, H. |
Expecting Many Proceeedings, Sixth Semantic and Linguistic Theory conference, pp53-68 |
| |
1997 |
Fernando, T. |
Ambiguity under changing contexts Linguistics and Philosophy, 20(6), pp575-606 |
| |
1998 |
Fernando, T. |
In conjunction with qualitative probability Annals of Pure and Applied Logic, 92(3), pp217-234 |
| |
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., Asher, N. |
Labeled representations, underspecification and disambiguation Computing Meaning, pp73-94 |
| |
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 |
| |
2000 |
Fernando, T. |
Between proofs and models: presuppositions Inference in Computational Semantics (ICoS-2) |
| |
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 |
| |
2002 |
Tim Fernando |
Three processes in natural language interpretation , pp208-227 |
| |
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 |
| |
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 |
| |
2004 |
Tim Fernando |
Are context change potentials functions? Context-Dependence in the Analysis of Linguistic Meaning, pp117-136 |
| |
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 |
| |
2005 |
Tim Fernando |
Compositionality inductively, co-inductively and contextually The Compositionality of Meaning and Content, pp87-96 |
| |
2005 |
Tim Fernando |
Schedules in a temporal interpretation of modals Journal of Semantics, 22, pp211-229. DOI: http://dx.doi.org/10.1093/jos/ffh023 |
| |
2005 |
Tim Fernando |
Events from temporal logic to regular languages with branching 10th Formal Grammar and 9th Mathematics of Language, pp27-38 |
| |
2005 |
Tim Fernando |
Comic relief for anankastic conditionals Fifteenth Amsterdam Colloquium, pp71-76 |
| |
2005 |
Tim Fernando and Rowan Nairn |
Entailments in finite-state temporality Sixth International Workshop on Computational Semantics, pp128-138 |
| |
2006 |
Tim Fernando |
Representing events and discourse: comments on Hamm, Kamp and van Lambalgen Theoretical Linguistics, 32(1), pp57-64. DOI: http://dx.doi.org/10.1515/tl.2006.004 |
| |
2006 |
Tim Fernando |
Finite-state temporal projection Implementation and Application of Automata, 4094, pp230-241. DOI: http://dx.doi.org/10.1007/11812128_22 |
| |
2006 |
Tim Fernando |
Situations as strings Electronic Notes in Theoretical Computer Science, 165, pp23-36. DOI: http://dx.doi.org/10.1016/j.entcs.2006.05.035 |
| |
2007 |
Tim Fernando |
Clauses as types LogKCA-07, pp67-79 |
| |
2007 |
Tim Fernando |
Temporal propositions as regular languages Language, Representation and Reasoning, pp167-187 |
| |
2007 |
Tim Fernando |
Finite-state descriptions for temporal semantics Computing Meaning, pp347-368 |
| |
2007 |
Tim Fernando |
Observing events and situations in time Linguistics and Philosophy, 30(5), pp527-550. DOI: http://dx.doi.org/10.1007/s10988-008-9026-1 |
| |
2008 |
Tim Fernando |
Situations from events to proofs Meaning, Intentions, and Argumentation, pp113-129 |
