-
1
-
-
0021466185
-
Towards a general theory of action and time
-
1984
-
ALLEN, J. F. 1984. Towards a general theory of action and time. Artif. Intell. 23 (1984), 123-154.
-
(1984)
Artif. Intell.
, vol.23
, pp. 123-154
-
-
Allen, J.F.1
-
3
-
-
70449632085
-
Temporal description logics
-
To appear . M. F. Dov Gabbay and L.Vila, eds. MIT Press, Cambridge, MA
-
ARTALE, A. AND FRANCONI, E. To appear. Temporal description logics. In Handbook of Time and Temporal Reasoning in Artificial Intelligence. M. F. Dov Gabbay and L.Vila, eds. MIT Press, Cambridge, MA.
-
Handbook of Time and Temporal Reasoning in Artificial Intelligence
-
-
Artale, A.1
Franconi, E.2
-
5
-
-
0032632354
-
An algorithm that learns what's in a name
-
1999
-
BIKEL, D. M., SCHWARTZ, R., AND WEISCHEDEL, R. M. 1999, An algorithm that learns what's in a name. Machine Learning 34, 1-3 (1999), 211-231.
-
(1999)
Machine Learning
, vol.34
, Issue.1-3
, pp. 211-231
-
-
Bikel, D.M.1
Schwartz, R.2
Weischedel, R.M.3
-
9
-
-
0026154176
-
Temporal constraint networks
-
1991
-
DECHTER, R., MEIRI, I., AND PEARL, J. 1991. Temporal constraint networks. Artif. Intell. 49 (1991), 61-95.
-
(1991)
Artif. Intell.
, vol.49
, pp. 61-95
-
-
Dechter, R.1
Meiri, I.2
Pearl, J.3
-
10
-
-
0003428774
-
TIDES temporal annotation guidelines
-
FERRO, L., MANI, I., SUNDHEIM, B., AND WILSON, G. 2001. TIDES temporal annotation guidelines. MITRE Tech. Rep.
-
(2001)
MITRE Tech. Rep.
-
-
Ferro, L.1
Mani, I.2
Sundheim, B.3
Wilson, G.4
-
13
-
-
5444231885
-
-
Unpublished draft, Language Technologies Institute, Carnegie Mellon University, Pittsburgh, PA
-
HAN, B. 2003. Time calculus for natural language - tagging guidelines. Unpublished draft, Language Technologies Institute, Carnegie Mellon University, Pittsburgh, PA.
-
(2003)
Time Calculus for Natural Language - Tagging Guidelines
-
-
Han, B.1
-
15
-
-
0012934356
-
COPLINK: Arming law enforcement with new knowledge management technologies
-
W. Mclver and A. Elmagarmid, eds. Kluwer Academic, Dordrecht, The Netherlands
-
HAUCK, R. V., CHAU, M., AND CHEN, H. 2002. COPLINK: Arming law enforcement with new knowledge management technologies. In Advances in Digital Government: Technology, Human Factors, and Policy, W. Mclver and A. Elmagarmid, eds. Kluwer Academic, Dordrecht, The Netherlands.
-
(2002)
Advances in Digital Government: Technology, Human Factors, and Policy
-
-
Hauck, R.V.1
Chau, M.2
Chen, H.3
-
16
-
-
5444246174
-
-
HOBBS, J. R., FERGUSON, G., ALLEN, J., HAYES, P., NILES, I., AND PEASE, A. 2002. A DAML Ontology of Time. http://www.cs.rochester.edu/~ferguson/daml/.
-
(2002)
A DAML Ontology of Time
-
-
Hobbs, J.R.1
Ferguson, G.2
Allen, J.3
Hayes, P.4
Niles, I.5
Pease, A.6
-
17
-
-
0942281488
-
Interpreting tense, aspect and time adverbials: A compositional, unified approach
-
ICTL 94, Bonn, Germany, July 11-14
-
HWANG, C. H. AND SCHUBERT, L. K. 1994. Interpreting tense, aspect and time adverbials: A compositional, unified approach. In Proceedings of the 1st International Conference on Temporal Logic (ICTL 94, Bonn, Germany, July 11-14), 238-264.
-
(1994)
Proceedings of the 1st International Conference on Temporal Logic
, pp. 238-264
-
-
Hwang, C.H.1
Schubert, L.K.2
-
19
-
-
0002514541
-
Algorithms for constraint satisfaction problems: A survey
-
1992
-
KUMAR, V. 1992. Algorithms for constraint satisfaction problems: A survey. AI Mag. 13, 1 (1992), 32-44.
-
(1992)
AI Mag.
, vol.13
, Issue.1
, pp. 32-44
-
-
Kumar, V.1
-
20
-
-
49449120803
-
Consistency in networks of relations
-
1977
-
MACKWORTH, A. K. 1977. Consistency in networks of relations. Artif. Intell. 8 (1977), 99-118.
-
(1977)
Artif. Intell.
, vol.8
, pp. 99-118
-
-
Mackworth, A.K.1
-
21
-
-
5444243714
-
The penn treebank: Annotating predicate argument structure
-
MARCUS, M., KIM, G., MARCINKIEWICZ, M., MACINTYRE, R., BIES, A., FERGUSON, M., KATZ, K., AND SCHASBERGER, B. 1994. The Penn Treebank: Annotating predicate argument structure. In Proceedings of the ARPA Human Language Technology Workshop.
-
(1994)
Proceedings of the ARPA Human Language Technology Workshop
-
-
Marcus, M.1
Kim, G.2
Marcinkiewicz, M.3
Macintyre, R.4
Bies, A.5
Ferguson, M.6
Katz, K.7
Schasberger, B.8
-
23
-
-
0036079980
-
An algebraic representation of calendars
-
2002
-
NING, P., WANG, X. S., AND JAJODIA, S. 2002. An algebraic representation of calendars. Ann. Math. Artif. Intell. 36, 1-2 (2002), 5-38.
-
(2002)
Ann. Math. Artif. Intell.
, vol.36
, Issue.1-2
, pp. 5-38
-
-
Ning, P.1
Wang, X.S.2
Jajodia, S.3
-
25
-
-
5444265570
-
Temporal prepositions and temporal generalized quantifiers
-
2001
-
PRATT, I. AND FRANCEZ, N. 2001. Temporal prepositions and temporal generalized quantifiers. Linguistics and Philosophy 24 (2001), 187-222.
-
(2001)
Linguistics and Philosophy
, vol.24
, pp. 187-222
-
-
Pratt, I.1
Francez, N.2
-
26
-
-
5444239599
-
-
PUSTEJOVSKY, J., SAURÍ, R., SETZER, A., GAIZAUSKAS, R., AND INGRIA, B. 2002. TimeML Annotation Guidelines. http://www.cs.brandeis.edu/ ~jamesp/arda/time/documentation/AnnotationGuideline-v0.4.0.pdf.
-
(2002)
TimeML Annotation Guidelines
-
-
Pustejovsky, J.1
Saurí, R.2
Setzer, A.3
Gaizauskas, R.4
Ingria, B.5
-
29
-
-
0345707121
-
Temporality
-
J. van Benthem and A. ter Meulen eds. Elsevier, London
-
STEEDMAN, M. 1996. Temporality. In Handbook of Logic and Language. J. van Benthem and A. ter Meulen eds. Elsevier, London, 895-935.
-
(1996)
Handbook of Logic and Language
, pp. 895-935
-
-
Steedman, M.1
-
32
-
-
0000640250
-
A tableau-based proof method for temporal logics of knowledge and belief
-
1988
-
WOOLDRIDGE, M., DIXON, C., AND FISHER, M. 1998. A tableau-based proof method for temporal logics of knowledge and belief. J. Appl. Non-Classical Logics 8 (1988), 225-258.
-
(1998)
J. Appl. Non-Classical Logics
, vol.8
, pp. 225-258
-
-
Wooldridge, M.1
Dixon, C.2
Fisher, M.3
|