Tim Fernando - RankMe

42 papers A* 2A 2B 6C 4Journal 14Unranked 14

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