Tim Fernando - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2019

Projecting Temporal Properties, Events and ActionsTim Fernando. iwcs 2019: 1-12 [doi]

MSO with tests and reductsTim Fernando, David Woods, Carl Vogel. fsmnlp 2019: 27-36 [doi]

Prior Probabilities of Allen Interval Relations over Finite OrdersTim Fernando, Carl Vogel. icaart 2019: 952-961 [doi]

2017

Predications, Fast and SlowTim Fernando. commonsense 2018: [doi]

2016

On regular languages over power setsTim Fernando. jlm, 4(1):29-56, 2016. [doi]

Prior and temporal sequences for natural languageTim Fernando. synthese, 193(11):3625-3637, 2016. [doi]

2015

2013

Finite State Methods and Description LogicsTim Fernando. fsmnlp 2013: 63-71 [doi]

Segmenting Temporal Intervals for Tense and AspectTim Fernando. mol 2013: 30-40 [doi]

Temporal Dependence in Legal DocumentsDaniel Isemann, Khurshid Ahmad, Tim Fernando, Carl Vogel. ideal 2013: 497-504 [doi]

2012

A Finite-State Temporal Ontology and Event-IntervalsTim Fernando. fsmnlp 2012: 80-89 [doi]

2011

Regular relations for temporal propositionsTim Fernando. nle, 17(2):163-184, 2011. [doi]

Finite-state Representations Embodying Temporal RelationsTim Fernando. fsmnlp 2011: 12-20 [doi]

Constructing Situations and TimeTim Fernando. jphil, 40(3):371-396, 2011. [doi]

Steedman's Temporality Proposal and Finite AutomataTim Fernando. amsterdam 2012: 301-310 [doi]

Strings over intervalsTim Fernando. emnlp 2011: 50-58 [doi]

2009

Situations in LTL as stringsTim Fernando. iandc, 207(10):980-999, 2009. [doi]

Temporal Propositions as Vague PredicatesTim Fernando. amsterdam 2010: 143-152 [doi]

2008

Branching from Inertia WorldsTim Fernando. jsemantics, 25(3):321-344, 2008. [doi]

2006

Finite-State Temporal ProjectionTim Fernando. wia 2006: 230-241 [doi]

Situations as StringsTim Fernando. ENTCS, 165:23-36, 2006. [doi]

2005

Schedules in a Temporal Interpretation of ModalsTim Fernando. jsemantics, 22(2):211-229, 2005. [doi]

2004

A Finite-state Approach to Events in Natural Language SemanticsTim Fernando. logcom, 14(1):79-92, 2004. [doi]

2002

A Finite-State Approach to Event SemanticsTim Fernando. time 2002: 124 [doi]

2001

Ambiguous Discourse in a Compositional Context. An Operational PerspectiveTim Fernando. jolli, 10(1):63-86, 2001.

A Type Reduction from Proof-conditional to Dynamic SemanticsTim Fernando. jphil, 30(2):121-153, 2001. [doi]

2000

Towards a Many-Dimensional Modal Logic for Semantic ProcessingTim Fernando. aiml 2002: 139-151

1999

Ambiguous propositions typedTim Fernando. eacl 1999: 86-93 [doi]

A Modal Logic for Non-Deterministic Discourse ProcessingTim Fernando. jolli, 8(4):445-468, 1999.

1998

In Conjunction with Qualitative ProbabilityTim Fernando. APAL, 92(3):217-234, 1998.

1994

Bisimulations and Predicate LogicTim Fernando. JSYML, 59(3):924-944, 1994.

1993

The donkey strikes back: Extending the dynamic interpretation constructively Tim Fernando. eacl 1993: 130-138 [doi]

A higher-order extension of constraint programming in disourse analysisTim Fernando. ppcp 1993: 60-69

1992

Comparative Transition System SemanticsTim Fernando. csl 1993: 149-166

Transition Systems and Dynamic SemanticsTim Fernando. jelia 1992: 232-251

1991

Provably Recursive Programs and Program ExtractionTim Fernando. icalp 1991: 303-313

A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest BisimulationTim Fernando. csl 1992: 96-110

1988

Meager and replete failures of relative completenessDaniel Leivant, Tim Fernando. JACM, 35(4):953-964, 1988. [doi]

1987

Skinny and Fleshy Failures of Relative CompletenessDaniel Leivant, Tim Fernando. POPL 1987: 246-252

Sign in or sign up to see more results.

runs on WebDSL