 | 2011 |
|---|
| 24 |       | Tim Fernando:
Finite-state Representations Embodying Temporal Relations.
FSMNLP 2011: 12-20 |
| 23 | | Tim Fernando:
Constructing Situations and Time.
J. Philosophical Logic 40(3): 371-396 (2011) |
| 22 | | Tim Fernando:
Regular relations for temporal propositions.
Natural Language Engineering 17(2): 163-184 (2011) |
| 2009 |
|---|
| 21 | | Tim Fernando:
Temporal Propositions as Vague Predicates.
Amsterdam Colloquium on Logic, Language and Meaning 2009: 143-152 |
| 20 | | Tim Fernando:
Situations in LTL as strings.
Inf. Comput. 207(10): 980-999 (2009) |
| 2006 |
|---|
| 19 | | Tim Fernando:
Finite-State Temporal Projection.
CIAA 2006: 230-241 |
| 18 | | Tim Fernando:
Situations as Strings.
Electr. Notes Theor. Comput. Sci. 165: 23-36 (2006) |
| 2004 |
|---|
| 17 | | Tim Fernando:
A Finite-state Approach to Events in Natural Language Semantics.
J. Log. Comput. 14(1): 79-92 (2004) |
| 2002 |
|---|
| 16 | | Tim Fernando:
A Finite-State Approach to Event Semantics.
TIME 2002: 124- |
| 2001 |
|---|
| 15 | | Tim Fernando:
A Type Reduction from Proof-conditional to Dynamic Semantics.
J. Philosophical Logic 30(2): 121-153 (2001) |
| 14 | | Tim Fernando:
Ambiguous Discourse in a Compositional Context. An Operational Perspective.
Journal of Logic, Language and Information 10(1): 63-86 (2001) |
| 2000 |
|---|
| 13 |  | Tim Fernando:
Towards a Many-Dimensional Modal Logic for Semantic Processing.
Advances in Modal Logic 2000: 139-151 |
| 1999 |
|---|
| 12 | | Tim Fernando:
Ambiguous propositions typed.
EACL 1999: 86-93 |
| 11 | | Tim Fernando:
A Modal Logic for Non-Deterministic Discourse Processing.
Journal of Logic, Language and Information 8(4): 445-468 (1999) |
| 1998 |
|---|
| 10 | | Tim Fernando:
In Conjunction with Qualitative Probability.
Ann. Pure Appl. Logic 92(3): 217-234 (1998) |
| 1994 |
|---|
| 9 | | Tim Fernando:
Bisimulations and Predicate Logic.
J. Symb. Log. 59(3): 924-944 (1994) |
| 1993 |
|---|
| 8 | | Tim Fernando:
The donkey strikes back: Extending the dynamic interpretation "constructively".
EACL 1993: 130-138 |
| 7 | | Tim Fernando:
A higher-order extension of constraint programming in disourse analysis.
PPCP 1993: 60-69 |
| 1992 |
|---|
| 6 | | Tim Fernando:
Comparative Transition System Semantics.
CSL 1992: 149-166 |
| 5 | | Tim Fernando:
Transition Systems and Dynamic Semantics.
JELIA 1992: 232-251 |
| 1991 |
|---|
| 4 | | Tim Fernando:
A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation.
CSL 1991: 96-110 |
| 3 | | Tim Fernando:
Provably Recursive Programs and Program Extraction.
ICALP 1991: 303-313 |
| 1988 |
|---|
| 2 | | Daniel Leivant,
Tim Fernando:
Meager and replete failures of relative completeness.
J. ACM 35(4): 953-964 (1988) |
| 1987 |
|---|
| 1 | | Daniel Leivant,
Tim Fernando:
Skinny and Fleshy Failures of Relative Completeness.
POPL 1987: 246-252 |
Data released under the ODC-BY 1.0 license — See also our legal information page