SCOPUS 정보 검색 플랫폼

Volumn 4, Issue 1, 1986, Pages 67-95

A logic-based calculus of events

Author keywords

Database Updates; Default Reasoning; Event Calculus; Logic Programming; PROLOG; Temporal Logic

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; DATABASE SYSTEMS;

DATABASE UPDATES; EVENT CALCULUS; LOGIC PROGRAMMING; PROLOG; TEMPORAL LOGIC;

COMPUTER PROGRAMMING;

EID: 0022605949 PISSN: 02883635 EISSN: 18827055 Source Type: Journal
DOI: 10.1007/BF03037383 Document Type: Article

Times cited : (1245)

References (6)

1
- 84934499025
- Allen, J. F., “Maintaining knowledge about temporal intervals,”TR-86, Computer Science Dept., Univ. of Rochester, January, 1981; also in Commun. ACM, 26 pp. 832–843, 1983.

2
- 0021466185
- Towards a General Theory of Action and Time
- (1984) Artificial Intelligence , vol.23 , pp. 123-154
- Allen, J.F.¹

3
- 84934499024
- Bolour, A., Anderson, T. L., Dekeyser, L. J., and Wong, H. K. T., “The role of time in information processing: a survey,”ACM SIGMOD Review, Vol.12, No. 3, April, 1982.

4
- 0003840164
- North-Holland/Elsevier, New York
- (1979) Logic for Problem Solving
- Kowalski, R.A.¹

5
- 0014638440
- Some philosophical problems from the standpoint of artificial intelligence
- B., Meltzer, D., Michie, Edinburgh University Press, Edinburgh
- (1969) Machine Intelligence
- McCarthy, J.¹ Hayes, P.J.²

6
- 0021787205
- Temporal Inferencing on Administrative Databases
- (1985) Information Systems , vol.10 , Issue.2 , pp. 197-206
- Lee, R.M.¹ Coelho, H.² Cotta, J.C.³

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