메뉴 건너뛰기




Volumn 46, Issue 2, 2003, Pages 213-222

Representing the dividing instant

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; PROBLEM SOLVING; SYSTEM THEORY; THEOREM PROVING;

EID: 0037230410     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/46.2.213     Document Type: Article
Times cited : (16)

References (31)
  • 2
    • 0020849266 scopus 로고
    • Maintaining knowledge about temporal intervals
    • Allen, J. (1983) Maintaining knowledge about temporal intervals. Commun. ACM, 26, 832-843.
    • (1983) Commun. ACM , vol.26 , pp. 832-843
    • Allen, J.1
  • 4
    • 0021466185 scopus 로고
    • Towards a general theory of action and time
    • Allen, J. (1984) Towards a general theory of action and time. Artificial Intell., 23, 123-154.
    • (1984) Artificial Intell. , vol.23 , pp. 123-154
    • Allen, J.1
  • 5
    • 0027004846 scopus 로고
    • Automatic deduction of temporal information
    • Maiocchi, R. (1992) Automatic deduction of temporal information. ACM Trans. Database Syst., 4, 647-688.
    • (1992) ACM Trans. Database Syst. , vol.4 , pp. 647-688
    • Maiocchi, R.1
  • 6
    • 0025403638 scopus 로고
    • A critical examination of Allen's theory of action and time
    • Galton, A. (1990) A critical examination of Allen's theory of action and time. Artificial Intell., 42, 159-188.
    • (1990) Artificial Intell. , vol.42 , pp. 159-188
    • Galton, A.1
  • 8
    • 0028204630 scopus 로고
    • A general temporal theory
    • Ma, J. and Knight, B. (1994) A general temporal theory. Comput. J., 37, 114-123.
    • (1994) Comput. J. , vol.37 , pp. 114-123
    • Ma, J.1    Knight, B.2
  • 9
    • 0028392588 scopus 로고
    • A survey on temporal reasoning in artificial intelligence
    • Vila, L. (1994) A survey on temporal reasoning in artificial intelligence. AI Commun., 7, 4-28.
    • (1994) AI Commun. , vol.7 , pp. 4-28
    • Vila, L.1
  • 11
    • 0023366818 scopus 로고
    • The temporal query language TQuel
    • Snodgrass, R. (1987) The temporal query language TQuel. ACM Trans. Database Syst., 12, 247-298.
    • (1987) ACM Trans. Database Syst. , vol.12 , pp. 247-298
    • Snodgrass, R.1
  • 12
    • 0014638440 scopus 로고
    • Some philosophical problems from the standpoint of artificial intelligence
    • McCarthy, J. and Hayes, P. (1969) Some philosophical problems from the standpoint of artificial intelligence. Machine Intell., 4, 463-502.
    • (1969) Machine Intell. , vol.4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.2
  • 13
    • 0015304414 scopus 로고
    • A model for temporal references and its application in a question answering program
    • Bruce, B. (1972) A model for temporal references and its application in a question answering program. Artificial Intell., 3, 1-25.
    • (1972) Artificial Intell. , vol.3 , pp. 1-25
    • Bruce, B.1
  • 14
    • 0001445808 scopus 로고
    • A temporal logic for reasoning about processes and plans
    • McDermott, D. (1982) A temporal logic for reasoning about processes and plans. Cognitive Sci., 6, 101-155.
    • (1982) Cognitive Sci. , vol.6 , pp. 101-155
    • McDermott, D.1
  • 15
    • 0004241822 scopus 로고
    • Cambridge University Press, Cambridge
    • Whitehead, A. (1929) Process and Reality. Cambridge University Press, Cambridge.
    • (1929) Process and Reality
    • Whitehead, A.1
  • 18
    • 84990616648 scopus 로고
    • Moments and points in an interval-based temporal-based logic
    • Allen, J. and Hayes, P. (1989) Moments and points in an interval-based temporal-based logic. Comput. Intell., 5, 225-238.
    • (1989) Comput. Intell. , vol.5 , pp. 225-238
    • Allen, J.1    Hayes, P.2
  • 20
    • 0012486745 scopus 로고    scopus 로고
    • An investigation of non-intermingling principles in temporal logic
    • Galton, A. (1996) An investigation of non-intermingling principles in temporal logic. J. Logic Comput., 6, 267-290.
    • (1996) J. Logic Comput. , vol.6 , pp. 267-290
    • Galton, A.1
  • 22
    • 0012539070 scopus 로고    scopus 로고
    • A reified temporal logic
    • Ma, J. and Knight, B. (1996) A reified temporal logic. Comput. J., 39, 800-807.
    • (1996) Comput. J. , vol.39 , pp. 800-807
    • Ma, J.1    Knight, B.2
  • 23
    • 0001957505 scopus 로고    scopus 로고
    • Space, time, and movement
    • In Stock, O. (ed.); Kluwer, Dordrecht
    • Galton, A. (1997) Space, time, and movement. In Stock, O. (ed.), Spatial and Temporal Reasoning, pp. 321-352. Kluwer, Dordrecht.
    • (1997) Spatial and Temporal Reasoning , pp. 321-352
    • Galton, A.1
  • 25
    • 84936628426 scopus 로고    scopus 로고
    • Temporal ontology and temporal reference
    • Moens, M. and Steedman, M. (1988) Temporal ontology and temporal reference. Comput. Linguistics, 14, 15-28.
    • (1998) Comput. Linguistics , vol.14 , pp. 15-28
    • Moens, M.1    Steedman, M.2
  • 26
    • 84936628432 scopus 로고
    • A computational model of the semantics of tense and aspect
    • Passonneau, R. (1988) A computational model of the semantics of tense and aspect. Comput. Linguistics, 14, 44-60.
    • (1988) Comput. Linguistics , vol.14 , pp. 44-60
    • Passonneau, R.1
  • 27
    • 84936216182 scopus 로고
    • Knowledge representation for commonsense reasoning with text
    • Dahlgren, K., McDowell, P. and Stabler P. (1989) Knowledge representation for commonsense reasoning with text. Comput. Linguistics, 15, 149-170.
    • (1989) Comput. Linguistics , vol.15 , pp. 149-170
    • Dahlgren, K.1    McDowell, P.2    Stabler, P.3
  • 29
    • 0023421571 scopus 로고
    • Temporal logics in AI: Semantical and ontological considerations
    • Shoham, Y. (1987) Temporal logics in Al: Semantical and ontological considerations. Artificial Intell., 33, 89-104.
    • (1987) Artificial Intell. , vol.33 , pp. 89-104
    • Shoham, Y.1
  • 31
    • 0001552950 scopus 로고
    • Database updates in the event calculus
    • Kowalski, R. (1992) Database updates in the event calculus. J. Logic Program., 12, 121-146.
    • (1992) J. Logic Program. , vol.12 , pp. 121-146
    • Kowalski, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.