SCOPUS 정보 검색 플랫폼

Volumn 17, Issue 1, 2001, Pages 62-86

Defeasible inheritance through specialization

(2) Nantajeewarawat, Ekawit a Wuwongse, Vilas b

b ASIAN INSTITUTE OF TECHNOLOGY (Thailand)

Author keywords

Argumentation; Deductive object oriented systems; Dynamic method resolution; Inheritance stratification; Nonmonotonic inheritance; Skeptical semantics

Indexed keywords

COMPUTER PROGRAM LISTINGS; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATABASE SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

DEDUCTIVE OBJECT ORIENTED SYSTEMS; DUNG'S FRAMEWORK; DYNAMIC NONMONOTONIC INHERITANCE; INHERITANCE STRATIFIED PROGRAMS; SKEPTICAL SEMANTICS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035246069 PISSN: 08247935 EISSN: None Source Type: Journal
DOI: 10.1111/0824-7935.00134 Document Type: Article

Times cited : (8)

References (20)

1
- 0027621678
- Methods and rules
- ACM Press, Washington, D.C
- (1993) Proceedings of the 1993 ACM SIGMOD International Conference on the Management of Data , pp. 32-41
- Abiteboul, S.¹ Lausen, G.² Uphoff, H.³ Waller, E.⁴

2
- 0022791708
- LOGIN: A logic programming language with built-in inheritance
- (1986) The Journal of Logic Programming , vol.3 , pp. 185-215
- Aït-Kaci, H.¹ Nasr, R.²

3
- 0027625083
- Towards a meaning of life
- (1993) The Journal of Logic Programming , vol.16 , pp. 195-234
- Aït-Kaci, H.¹ Podelski, A.²

4
- 0001990220
- Declarative semantics of logic programs on parameterized representation systems
- (1993) Advances in Software Science and Technology , vol.5 , pp. 45-63
- Akama, K.¹

5
- 0004213351
- Logic programming and databases
- Springer-Verlag, Berlin
- (1990)
- Ceri, S.¹ Gottlob, G.² Tanca, L.³

6
- 4243402086
- Foundations of deductive object-oriented database systems
- Ph.D. thesis, Department of Computer Science, The University of Melbourne, Parkville 3052, Australia
- (1994)
- Dobbie, G.¹

7
- 85007238229
- A model for sets and multiple inheritance in deductive object-oriented systems
- Edited by S. Ceri, K. Tanaka, and S. Tsur. Volume 760 of Lecture Notes in Computer Science. Springer-Verlag, New York
- (1993) Proceedings of the Third International Conference on Deductive and Object-Oriented Databases (DOOD'93) , pp. 473-488
- Dobbie, G.¹ Topor, R.²

8
- 0000395196
- On the declarative and procedural semantics of deductive object-oriented systems
- (1995) Journal of Intelligent Information Systems , vol.4 , pp. 193-219
- Dobbie, G.¹ Topor, R.²

9
- 0029368659
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and N-person games
- (1995) Artificial Intelligence , vol.77 , pp. 321-357
- Dung, P.M.¹

10
- 84947925779
- Nonmonotonic inheritance, argumentation and logic programming
- Edited by V. W. Marek and A. Nerode. Volume 928 of Lecture Notes in Computer Science. Springer-Verlag, New York
- (1995) Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'95) , pp. 316-329
- Dung, P.M.¹ Son, T.C.²

11
- 0025404066
- A skeptical theory of inheritance in nonmonotonic semantic networks
- (1990) Artificial Intelligence , vol.42 , pp. 311-348
- Horty, J.F.¹ Thomason, R.H.² Touretzky, D.S.³

12
- 0029333530
- Logical foundations of object-oriented and frame-based languages
- (1995) Journal of the Association for Computing Machinery , vol.42 , pp. 741-843
- Kifer, M.¹ Lausen, G.² Wu, J.³

13
- 84969514992
- Springer-Verlag, New York
- (1987) Foundations of Logic Programming, Second, Extended Edition
- Lloyd, J.W.¹

14
- 4243408925
- An axiomatic framework for deductive object-oriented representation systems based on declarative program theory
- Ph.D. thesis, CS-97-7, Computer Science and Information Management Program, School of Advanced Technologies, Asian Institute of Technology, Bangkok, Thailand
- (1997)
- Nantajeewarawat, E.¹

15
- 0001599027
- On the declarative semantics of deductive databases and logic programs
- Edited by J. Minker. Morgan Kaufmann, Los Altos, Calif
- (1988) Foundations of Deductive Databases and Logic Programming , pp. 193-216
- Przymusinski, T.C.¹

16
- 0026882014
- Resolving ambiguity in nonmonotonic inheritance hierarchies
- (1992) Artificial Intelligence , vol.55 , pp. 259-310
- Stein, L.A.¹

17
- 0027555073
- A theory of nonmonotonic inheritance based on annotated logic
- (1993) Artificial Intelligence , vol.60 , pp. 23-50
- Thirunarayan, K.¹ Kifer, M.²

18
- 0003954760
- The mathematics of inheritance
- Morgan Kaufmann, Los Altos, Calif
- (1986)
- Touretzky, D.S.¹

19
- 84990606045
- Unfounded set and well-founded semantics for general logic programs
- ACM Press, Washington, D.C
- (1988) Proceedings of the Seventh ACM Symposium on Principles of Database Systems , pp. 221-230
- Van Gelder, A.¹ Ross, K.² Schlipf, J.³

20
- 84976799999
- Well-founded semantics for general logic programs
- (1991) Journal of the Association for Computing Machinery , vol.38 , pp. 620-650
- Van Gelder, A.¹ Ross, K.² Schlipf, J.³

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