-
3
-
-
0000730159
-
Representation, reasoning, and relational structures: A hybrid logic manifesto
-
3
-
Blackburn P. (2000). Representation, reasoning and relational structures: A hybrid logic manifesto. Logic Journal of the IGPL 8(3): 339-365
-
(2000)
Logic Journal of the IGPL
, vol.8
, pp. 339-365
-
-
Blackburn, P.1
-
5
-
-
1342282318
-
A finite-state approach to events in natural language semantics
-
1
-
Fernando T. (2004). A finite-state approach to events in natural language semantics. Journal of Logic and Computation 14(1): 79-92
-
(2004)
Journal of Logic and Computation
, vol.14
, pp. 79-92
-
-
Fernando, T.1
-
6
-
-
33749390729
-
Finite-state temporal projection
-
Proc. 11th International Conference on Implementation and Application of Automata Springer-Verlag
-
Fernando, T. (2006a). Finite-state temporal projection. In Proc. 11th International Conference on Implementation and Application of Automata, LNCS 4094, pp. 230-241. Springer-Verlag.
-
(2006)
LNCS
, vol.4094
, pp. 230-241
-
-
Fernando, T.1
-
7
-
-
33748803020
-
Representing events and discourse: Comments on Hamm, Kamp and van Lambalgen
-
1
-
Fernando T. (2006b). Representing events and discourse: Comments on Hamm, Kamp and van Lambalgen. Theoretical Linguistics 32(1): 57-64
-
(2006)
Theoretical Linguistics
, vol.32
, pp. 57-64
-
-
Fernando, T.1
-
9
-
-
34248938788
-
Vagueness, truth and logic
-
Fine K. (1975). Vagueness, truth and logic. Synthese 30: 265-300
-
(1975)
Synthese
, vol.30
, pp. 265-300
-
-
Fine, K.1
-
11
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
M. Meltzer & D. Michie (Eds.) Edinburgh University Press
-
McCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. In M. Meltzer & D. Michie (Eds.), Machine intelligence (Vol. 4, pp. 463-502). Edinburgh University Press.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.2
-
12
-
-
0345707121
-
The productions of time
-
Draft July 2000. Subsumes 91 'Temporality'. In J. van Benthem & A. ter Meulen (Eds.) Elsevier North Holland
-
Steedman, M. (2000). The productions of time. Draft, ftp://ftp.cogsci.ed. ac.uk/pub/steedman/temporality/temporality.ps.gz, July 2000. Subsumes 91 'Temporality'. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (pp. 895-935). Elsevier North Holland.
-
(2000)
Handbook of Logic and Language
, pp. 895-935
-
-
Steedman, M.1
-
16
-
-
84972513444
-
Expressiveness and completeness of an interval tense logic
-
4
-
Venema Y. (1990). Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic 31(4): 529-547
-
(1990)
Notre Dame Journal of Formal Logic
, vol.31
, pp. 529-547
-
-
Venema, Y.1
|