SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Intelligent Information Systems

Volumn 4, Issue 3, 1995, Pages 261-280

The role of abduction in database view updating

(3) Console, Luca a Sapino, Maria Luisa a Dupré, Daniele Theseider a

a UNIVERSITY OF TURIN (Italy)

Author keywords

abduction; deductive databases; view updates

Indexed keywords

EID: 0041910429 PISSN: 09259902 EISSN: 15737675 Source Type: Journal
DOI: 10.1007/BF00961655 Document Type: Article

Times cited : (34)

References (35)

1
- 84935423382
- Abiteboul, S. (1988). Updates, a New Frontier. Proc. 2nd International Conference on Database Theory (pp. 1–18). Lecture Notes in Computer Science 326, Springer Verlag.

2
- 84935433521
- Abiteboul, S. and Grahne, G. (1985). Update semantics for incomplete databases. Proc. 11th VLDB Conference (pp. 1–12), Stockholm.

3
- 0012489789
- Proc. 7th Int. Conf. on Logic Programming, MIT Press, Jerusalem
- (1990) Acyclic programs , pp. 617-633
- Apt, K.R.¹ Bezem, M.²

4
- 0019666494
- Update Semantics of Relational Views
- (1981) ACM Trans, on Database Systems , vol.6 , Issue.4 , pp. 557-575
- Bancilhon, F.¹ Spyratos, N.²

5
- 84935452085
- Proc. 6th International Conference on Logic Programming, MIT Press, Jerusalem
- (1990) Intensional Updates: Abduction via Deduction
- Bry, F.¹

6
- 84935507631
- Ceri, S., Gottlob, G., and Tanca, L. (1989). Logic Programming and Databases. Springer Verlag.

7
- 84916490637
- Proc. 5th Int. Conf. and Symposium on Logic Programming, MIT Press, Seattle
- (1988) Constructive Negation Based on the Completed Database , pp. 111-125
- Chan, D.¹

8
- 0000826543
- Negation as failure
- H., Gallaire, J., Minker, Plenum Press, New York
- (1978) Logic and Data Bases , pp. 293-322
- Clark, K.¹

9
- 84935447253
- Console, L., Portinale, L., and Theseider Dupré, D. (1991). Focusing Abductive Diagnosis. Proc. 11th Int. Conf. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems) (pp. 231–242). Avignon, also in AI Communications, 4(2/3), 88–97.

10
- 84935444417
- Console, L., Theseider Dupré, D., and Torasso, P. (1989). Abductive Reasoning through Direct Deduction from Completed Domain Models. Methodologies for Intelligent Systems 4 (pp. 175–182). Z. Ras (Ed.), North Holland.

11
- 0001640243
- On the Relationship between Abduction and Deduction
- (1991) Journal of Logic and Computation , vol.1 , Issue.5 , pp. 661-690
- Console, L.¹ Theseider Dupré, D.² Torasso, P.³

12
- 84935515534
- Cox, P.T. and Pietrzykowski, T. (1987). General Diagnosis by Abductive Inference. Proc. IEEE Symposium on Logic Programming (pp. 183–189). San Francisco.

13
- 84935469754
- Dalai, M. (1988). Investigations into a Theory of Knowledge Base Revision: Preliminary Report. Proc. AAAI-88, Minneapolis.

14
- 0020183057
- On the Correct Translation of Update Operations on Relational Views
- (1982) ACM Transactions on Database Systems , vol.8 , Issue.3 , pp. 381-416
- Dayal, U.¹ Bernstein, P.A.²

15
- 0002061313
- Proc. 6th Int. Conf. on Logic Programming, MIT Press, Lisbon
- (1989) Abduction Compared with Negation by Failure , pp. 234-254
- Eshghi, K.¹ Kowalski, R.²

16
- 0002327934
- Updating Logical Databases
- (1986) Advances in Computer Research , vol.3 , pp. 1-18
- Fagin, R.¹ Kuper, G.² Ullman, J.³ Vardi, M.⁴

17
- 84935430398
- Fagin, R., Ullman, J., and Vardi, M. (1983). On the Semantics of Updates in Databases. Proc. 2nd ACM PODS.

18
- 84935501624
- Gaerdenfors, P. (1988). Knowledge in Flux—Modeling the Dynamics ofEpistemic States. MIT Press.

19
- 84935490911
- Proc. 5th International Conference and Symposium on Logic Programming, MIT Press, Seattle
- (1988) The stable models semantics for logic programming , pp. 1170-1180
- Gelfond, M.¹ Lifschitz, V.²

20
- 0042411557
- Updating Knowledge Bases II
- (1991) New Generation Computing , vol.10 , Issue.1 , pp. 73-100
- Guessoum, A.¹ Lloyd, J.W.²

21
- 0002723463
- Updating Knowledge Bases
- (1990) New Generation Computing , vol.8 , Issue.1 , pp. 71-89
- Guessoum, A.¹ Lloyd, J.W.²

22
- 84935470999
- Kakas, A.C. and Mancarella, P. (1990). Database Updates Through Abduction. Proc. 16th VLDB Conference. Brisbane.

23
- 84935442377
- Kakas, A.C. and Mancarella, P. (1990). Generalized Stable Models: A Semantics For Abduction. Proc. 9th ECAI, Stockholm.

24
- 84935515642
- Lloyd, J. (1987). Foundations of Logic Programming, 2nd edition. Springer Verlag.

25
- 84935482355
- Naqvi, S.A. and Krishnamurthy, R. (1989). Semantics of Updates in Logic Programming. Advances in Database Programming Languages (pp. 313–327). F. Bancilhon and P. Buneman, (Eds.), ACM Press.

26
- 84990556284
- Explanation and Prediction: An Architecture for Default and Abductive Reasoning
- (1989) Computational Intelligence , vol.5 , Issue.1 , pp. 97-110
- Poole, D.¹

27
- 0025645515
- A Methodology for Using a Default and Abductive Reasoning System
- (1990) International Journal of Intelligent Systems , vol.5 , Issue.1 , pp. 521-548
- Poole, D.¹

28
- 84935414168
- Reiter, R. (1988). On Integrity Constraints. Theoretical Aspects of Reasoning About Knowledge (pp. 97–112). M. Vardi (Ed.).

29
- 84935498011
- Proc. 6th International Conference on Logic Programming, MIT Press, Libon
- (1989) Contributions to the View Update Problem , pp. 398-415
- Rossi, F.¹ Naqvi, S.A.²

30
- 84935418610
- Selman, B. and Levesque H. (1990). Abductive and Default Reasoning: A Computational Core. Proc. AAAI 90 (pp. 343–348). Boston.

31
- 84935492595
- The Events Method for View updating in Deductive Databases
- (1992) EDBT 92—Lecture Notes in Computer Science , vol.580 , pp. 245-260
- Teniente, E.¹ Olivé, A.²

32
- 0024034483
- A Model-Based Approach to Updating Databases with Incomplete Information
- (1988) ACM Transactions on Database Systems , vol.13 , Issue.2 , pp. 167-196
- Winslett, M.¹

33
- 84935444412
- Winslett, M. (1989). Sometimes Updates Are Circumscription. Proc. 11th IJCAI (pp. 859–863). Detroit.

34
- 84935484378
- Winslett, M. (1990). Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science.

35
- 0021371332
- Database Relations with Null Values
- (1984) Journal of Computer and System Sciences , vol.28 , pp. 142-166
- Zaniolo, C.¹

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