Papers online (since arriving in Dublin, October 1999)

String iconicity and granularity,
22nd Amsterdam Colloquium,
Dec 2019, pages 122131
Corrigendum: in page 123, t^{+} should be t^{*}
(slides)

MSO
with tests and reducts,
with David Woods, Carl Vogel,
FSMNLP 2019,
Dresden, Sep 2019
(slides,
2 per page)

Pictorial narratives and temporal refinement,
SALT 2019, UCLA, May 2019
(3min talk,
poster)

Projecting temporal properties, events and
actions,
IWCS 2019,
Gothenburg, May 2019
(slides, 2 per page)

Prior probabilities of
Allen interval relations over finite orders,
with Carl Vogel,
NLP in AI 2019,
Prague, February 2019
(slides, 2 per page)

Temporal
representations with and without points, in
Logic
and Algorithms in Computational Linguistics 2018
(R. Loukanova ed.),
Springer Studies in Computational Intelligence
Vol 860, pages 4566, 2020.
DOI
(supersedes
Intervals and events with and without points,
Symposium
on Logic and Algorithms in Computational Linguistics 2018,
Stockholm, August 2018, slides)

Predications, fast
and slow,
Commonsense2017,
London, November 2017
(slides, 2 per page)

Intensions, types and finitestate truthmaking,
Modern
Perspectives in TypeTheoretical Semantics, 223243, 2017

On regular languages over power sets
(Journal
of Language Modelling 4(1):2956, 2016)

Negation and events as truthmakers,
20th Amsterdam
Colloquium, 2015, pages 109118
(slides)

The
semantics of tense and aspect: a finitestate perspective,
In S. Lappin and C. Fox (eds.),
The
Handbook of Contemporary Semantic Theory, Second edition,
Wiley, 2015, pages 203236

Types
from frames as finite automata,
20th
Formal Grammar
(Barcelona), August 2015, pages 1838
(LNCS
9804, 2016, pp 1940)
(slides)

Two
perspectives on changes and institutions, workshop on
Formal Ontologies for
AI, July 2015
(slides)

Prior and temporal sequences for natural
language,
Synthese 193(11):36253637, 2016
(doi:10.1007/s1122901509022,
presented at the
Arthur Prior Centenary,
August 2014, slides)

Incremental semantic scales by strings,
TTNLS,
Gothenburg,
2014, pages 6371
(ACL
Archive,
slides)

Partitions
representing change homogeneously,
A
festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman,
2013 (pages 9195)

Dowty's aspect hypothesis segmented,
Amsterdam
Colloquium 2013
(pages 107114,
slides)

Segmenting temporal intervals for tense and aspect,
MOL 2013,
Sofia, pages 3040
(ACL
Archive)

Finite state methods and description logics,
FSMNLP 2013,
St Andrews, pages 6371
(ACL
Archive)

A finitestate temporal ontology and eventintervals,
FSMNLP 2012, Donostia/San Sebastian, pages 8089
(ACL
Archive)

Compositionality in discourse
from a logical perspective,
Chapter 13 (pages 279304),
The Oxford Handbook of
Compositionality, 2012

Editorial Preface
(Ruth Kempson, Tim Fernando and Nicholas Asher),
Handbook of Philosophy of Linguistics, 2012

Steedman's
temporality proposal and finite automata, Amsterdam Colloquium
2011, LNCS 7218, pages 301310, 2012
(Earlier
version presented in the Amsterdam Colloquium, December 2011)

Strings over intervals, Proceedings of TextInfer 2011,
Workshop on Textual Entailment, EMNLP 2011, pages 5058,
Edinburgh, July 30, 2011
(ACL
Archive)

Finitestate representations embodying temporal relations,
9th International Workshop on Finite State Methods
and Natural Language Processing,
pages 1220, Blois, 2011
(ACL
Archive)

Regular
relations for temporal propositions
(Natural
Language Engineering 17(2): 163184, 2011)

Constructing
situations and time
(J.
Philosophical Logic 40(3):371396, 2011)

Temporal
propositions as vague predicates
(M. Aloni et al. eds., Amsterdam Colloquium 2009,
Springer LNAI 6042, pages 143152, 2010)

Situations
as indices and as denotations
(Linguistics
and Philosophy 32(2):185206, 2009)

Situations in LTL as strings
(Information and Computation 207(10): 980999, 2009)

Situations from
events to proofs
(in
Meaning,
Intentions, and Argumentation, edited by K. Korta and J. Garmendia,
CSLI Lecture Notes Number 186, pages 113129, 2008)

Branching
from inertia worlds
(Journal
of Semantics 25(3):321344, 2008)

Temporal
propositions as regular languages
(FiniteState Methods and Natural Language Processing, 6th International
Workshop, Potsdam, pages 132148,
Universitaetsverlag Potsdam 2008)

Observing
events and situations in time
(Linguistics and Philosophy 30(5):527550, October
2007)

Representing events and discourse: comments on Hamm, Kamp and
van Lambalgen
(prefinal
copy;
Theoretical
Linguistics, 32(1), 2006, pages 5764)

Finitestate
temporal projection
(CIAA 2006, LNCS 4094,
Springer, 2006, pages 230241)

Situations as strings
(for WoLLIC 2006,
Electronic Notes in Theoretical Computer Science
Volume 165 , 22 November 2006, Pages 2336)

Comic
relief for anankastic conditionals
(Proceedings 15th Amsterdam
Colloquium, pages 7176)

Events
from temporal logic to regular languages with branching
(for FGMOL 2005)

Entailments in finitestate temporality, with Rowan Nairn (for IWCS6; comments welcome)
+
related work by Lauri Karttunen on the Yale Shooting Problem

Compositionality
inductively, coinductively and contextually
(in
The Compositionality of Meaning and Content,
edited by M. Werning, E. Machery, G. Schurz.
Volume 1: Foundational Issues, pages 8796, 2005)

Inertia in temporal modification
(SALT 14, Northwestern University, pages 5673, 2004)

Reichenbach's E, R and S in a finitestate setting
(Sinn und Bedeutung 2003, Frankfurt, pages 111122;
supersedes `The progressive and
perfect in pieces', presented at ESSLLI 03, Workshop on
Conditional and Unconditional Modality, Vienna)

Schedules in a
temporal interpretation of modals
(J. Semantics 22:211229, 2005;
supersedes `Between events and worlds under historical necessity')

Finitestate
descriptions for temporal semantics
(to appear Computing Meaning, Volume 3, Kluwer;
supersedes paper with the same title in the proceedings of
IWCS5, Tilburg, January 2003)

A finitestate
approach to events in natural language semantics
(J. Logic and Computation 14(1):7992, 2004;
extends section 2 of my TIME02 paper below)
Corrigendum: add "intersected with Sigma" to the end of
Proposition 5, noted by Rowan Nairn

A finitestate approach to
event semantics
(Proc. 9th International Symp on Temporal Representation and Reasoning,
TIME02, Manchester, IEEE Computer Society Press, 2002, pages 124131)

Conservative generalized quantifiers and presupposition
(Semantics and Linguistic Theory XI, NYU/Cornell, 2001,
pages 172191)

Three processes in natural language interpretation
(In Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, W. Sieg, R. Sommer and C. Talcott, eds., Association for Symbolic Logic, LNiL 15, Natick, Massachusetts, 2002, pages 208227)

Towards a manydimensional modal logic for semantic processing
(In Advances in Modal Logic, Volume 3, World Scientific, Singapore,
2002, pages 139151)

A type reduction from proofconditional to dynamic semantics
(J. Philosophical Logic 30(2):121153, 2001)

Ambiguous discourse in a compositional context
(J. Logic, Language and Information 10(1):6386, 2001)
