Tim Fernando

Publication Activity (10 Years)

Years Active: 1987-2019
Publications (10 Years): 10

Top Topics

Legal Documents

Regular Languages

Description Logics

Top Venues

J. Lang. Model.

Publications

Tim Fernando, Carl Vogel
Prior Probabilities of Allen Interval Relations over Finite Orders. ICAART (2) (2019)
Tim Fernando
Projecting Temporal Properties, Events and Actions. IWCS (1) (2019)
Tim Fernando, David Woods, Carl Vogel
MSO with tests and reducts. FSMNLP (2019)
Tim Fernando
Predications, Fast and Slow. COMMONSENSE (2017)
Tim Fernando
On regular languages over power sets. J. Lang. Model. 4 (1) (2016)
Tim Fernando
Prior and temporal sequences for natural language. Synth. 193 (11) (2016)
Tim Fernando
Two Perspectives on Change and Institutions. JOWO@IJCAI (2015)
Tim Fernando
Types from Frames as Finite Automata. FG (2015)
Derek Kelleher, Tim Fernando, Carl Vogel
Temporal Forces and Type Coercion in Strings. FSMNLP (2015)
Derek Kelleher, Tim Fernando, Carl Vogel
Between the Event Calculus and Finite State Temporality. FG (2015)
Tim Fernando
Finite State Methods and Description Logics. FSMNLP (2013)
Tim Fernando
Segmenting Temporal Intervals for Tense and Aspect. MOL (2013)
Daniel Isemann, Khurshid Ahmad, Tim Fernando, Carl Vogel
Temporal Dependence in Legal Documents. IDEAL (2013)
Tim Fernando
A Finite-State Temporal Ontology and Event-Intervals. FSMNLP (2012)
Tim Fernando
Constructing Situations and Time. J. Philos. Log. 40 (3) (2011)
Tim Fernando
Steedman's Temporality Proposal and Finite Automata. Amsterdam Colloquium on Logic, Language and Meaning (2011)
Tim Fernando
Strings over intervals. TextInfer@EMNLP (2011)
Tim Fernando
Regular relations for temporal propositions. Nat. Lang. Eng. 17 (2) (2011)
Tim Fernando
Finite-state Representations Embodying Temporal Relations. FSMNLP (2011)
Tim Fernando
Situations in LTL as strings. Inf. Comput. 207 (10) (2009)
Tim Fernando
Temporal Propositions as Vague Predicates. Amsterdam Colloquium on Logic, Language and Meaning (2009)
Tim Fernando
Branching from Inertia Worlds. J. Semant. 25 (3) (2008)
Tim Fernando
Situations as Strings. Electron. Notes Theor. Comput. Sci. 165 (2006)
Tim Fernando
Finite-State Temporal Projection. CIAA (2006)
Tim Fernando
Schedules in a Temporal Interpretation of Modals. J. Semant. 22 (2) (2005)
Tim Fernando
A Finite-state Approach to Events in Natural Language Semantics. J. Log. Comput. 14 (1) (2004)
Tim Fernando
A Finite-State Approach to Event Semantics. TIME (2002)
Tim Fernando
A Type Reduction from Proof-conditional to Dynamic Semantics. J. Philos. Log. 30 (2) (2001)
Tim Fernando
Ambiguous Discourse in a Compositional Context. An Operational Perspective. J. Log. Lang. Inf. 10 (1) (2001)
Tim Fernando
Towards a Many-Dimensional Modal Logic for Semantic Processing. Advances in Modal Logic (2000)
Tim Fernando
Ambiguous propositions typed. EACL (1999)
Tim Fernando
A Modal Logic for Non-Deterministic Discourse Processing. J. Log. Lang. Inf. 8 (4) (1999)
Tim Fernando
In Conjunction with Qualitative Probability. Ann. Pure Appl. Log. 92 (3) (1998)
Tim Fernando
Bisimulations and Predicate Logic. J. Symb. Log. 59 (3) (1994)
Tim Fernando
The donkey strikes back: Extending the dynamic interpretation "constructively". EACL (1993)
Tim Fernando
A higher-order extension of constraint programming in disourse analysis. PPCP (1993)
Tim Fernando
Transition Systems and Dynamic Semantics. JELIA (1992)
Tim Fernando
Comparative Transition System Semantics. CSL (1992)
Tim Fernando
A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. CSL (1991)
Tim Fernando
Provably Recursive Programs and Program Extraction. ICALP (1991)
Daniel Leivant, Tim Fernando
Meager and replete failures of relative completeness. J. ACM 35 (4) (1988)
Daniel Leivant, Tim Fernando
Skinny and Fleshy Failures of Relative Completeness. POPL (1987)