Finite-state temporal projection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4094 LNCS, Issue , 2006, Pages 230-241

  Fernando, Tim ^a  

^a TRINITY COLLEGE DUBLIN   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS; PROBLEM SOLVING; SEMANTICS;

CONSTRAINT APPLICATIONS; FRAME PROBLEM; NATURAL LANGUAGE SEMANTICS;

FINITE AUTOMATA;

EID: 33749390729     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11812128_22     Document Type: Conference Paper

References (10)

1. Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. Journal of Logic and Computation, 4(5):531-579, 1994.
2. Beesley, K.R., Karttunen, L.: Finite State Morphology. CSLI, Stanford, 2003.
3. Emerson, E.A.: Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Methods and Semantics, pages 995-1072. MIT Press, 1992.
4. Fernando, T.: A finite-state approach to events in natural language semantics. Journal of Logic and Computation, 14(1):79-92, 2004.
5. Fernando, T., Nairn, R.: Entailments in finite-state temporality. In Proc. 6th International Workshop on Computational Semantics, pages 128-138. Tilburg University, 2005.
6. Fikes, R.E., Nilsson, N.J.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189-208, 1971.
7. Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht, 1993.
8. Karttunen, L.: www.stanford.edu/~laurik/fsmbook/examples/YaleShooting. html, 2005.
9. Steedman, M.: The Productions of Time. Draft, ftp://ftp.cogsci.ed.ac.uk/ pub/steedman/temporality/temporality.ps.gz, July 2000.
10. Subsumes 'Temporality,' in J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 895-935, Elsevier North Holland, 1997.