SCOPUS 정보 검색 플랫폼

IEEE Transactions on Knowledge and Data Engineering

Volumn 14, Issue 4, 2002, Pages 836-849

Declarative programs with implicit implication

(2) Wuwongse, Vilas a,b Nantajeewarawat, Ekawit c

a IEEE (Thailand)

b ASIAN INSTITUTE OF TECHNOLOGY (Thailand)

c THAMMASAT UNIVERSITY (Thailand)

Author keywords

Declarative program; Deductive object oriented database; Fixpoint semantics; Implicit implication; Mode theoretic semantics; Subsumption; Taxonomy

Indexed keywords

DECLARATIVE PROGRAMS;

DATABASE SYSTEMS; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

KNOWLEDGE REPRESENTATION;

EID: 0036649453 PISSN: 10414347 EISSN: None Source Type: Journal
DOI: 10.1109/TKDE.2002.1019217 Document Type: Article

Times cited : (9)

References (33)

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

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

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

4
- 84958628714
- Towards a foundation for XML document databases
- (2000) Proc. First Int'l Conf. Electronic Commerce and Web Technologies
- Anutariya, C.¹ Wuwongse, V.² Nantajeewarawat, E.³ Akama, K.⁴

5
- 0002110389
- Generalization/ specialization as a basis for software specification
- M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, eds.
- (1984) On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages , pp. 87-117
- Borgida, A.¹ Mylopoulos, J.² Wong, H.K.T.³

6
- 0029389644
- Description logics in data management
- Oct.
- (1995) IEEE Trans. Knowledge and Data Eng. , vol.7 , Issue.5 , pp. 671-682
- Borgida, A.¹

7
- 0020831023
- KRYPTON: A functional approach to knowledge representation
- (1983) Computer , vol.16 , Issue.10 , pp. 67-73
- Brachman, R.J.¹ Fikes, R.E.² Levesque, H.J.³

8
- 0002605970
- Living with CLASSIC: When and how to use a KL-ONE-like language
- J.F. Sowa, ed.
- (1991) Principles of Semantic Networks , pp. 401-456
- Brachman, R.J.¹ McGuinness, D.L.² Patel-Schneider, P.F.³ Resnick, L.A.⁴

9
- 33748902346
- An overview of the KL-ONE knowledge representation system
- (1985) Cognitive Science , vol.9 , Issue.2 , pp. 171-216
- Brachman, R.J.¹ Schmolze, J.G.²

10
- 0029341319
- A requirements sublanguage for automated analysis
- (1995) Int'l J. Intelligent Systems , vol.10 , Issue.7 , pp. 665-689
- Cyre, W.¹

11
- 0030734844
- Capture, integration, and analysis of digital system requirements with conceptual graphs
- Jan./Feb.
- (1997) IEEE Trans. Knowledge and Data Eng. , vol.9 , Issue.1 , pp. 8-23
- Cyre, W.¹

12
- 0029254284
- Compiling conceptual graphs
- Feb.
- (1995) IEEE Trans. Knowledge and Data Eng. , vol.7 , Issue.1 , pp. 68-81
- Ellis, G.¹

13
- 84957929409
- Inference systems for conceptual graph programs
- W.M. Tepfenhart, J.P. Dick and J.F. Sowa, eds., Conceptual Structures: Current Practices
- (1994) Lecture Notes in Artificial Intelligence , vol.835 , pp. 214-229
- Ghosh, B.C.¹ Wuwongse, V.²

14
- 0342305307
- A direct proof procedure for definite conceptual graph programs
- G. Ellis, R.A. Levinson, W. Rich, and J.F. Sowa, eds.
- (1995) Conceptual Structures: Applications, Implementation, and Theory
- Ghosh, B.C.¹ Wuwongse, V.²

15
- 0029368202
- Conceptual graph programs and their declarative semantics
- (1995) IEICE Trans. Information and Systems , vol.E78-D , Issue.9 , pp. 1208-1217
- Ghosh, B.C.¹ Wuwongse, V.²

16
- 0001610974
- Overview of the TACITUS project
- (1986) Computational Linguistics , vol.12 , Issue.3 , pp. 220-222
- Hobbs, J.R.¹

17
- 0029333530
- Logical foundations of object-oriented and frame-based languages
- (1995) J. ACM , vol.42 , pp. 741-843
- Kifer, M.¹ Lausen, G.² Wu, J.³

18
- 0010024266
- The differential fixpoint operator with subsumption
- (1993) Proc. Third Int'l Conf. Deductive and Object-Oriented Databases (DOOD) , pp. 35-48
- Köstler, G.¹ Kießling, W.² Thöne, H.³ Güntzer, U.⁴

19
- 0029260851
- Fixpoint iteration with subsumption in deductive databases
- (1995) J. Intelligent Information Systems , vol.4 , Issue.2 , pp. 123-148
- Köstler, G.¹ Kießling, W.² Thöne, H.³ Güntzer, U.⁴

20
- 0004053085
- Addison Wesley
- (1990) Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project
- Lenat, D.B.¹ Guha, R.V.²

21
- 0003453263
- Springer-Verlag
- (1987) Foundations of Logic Programming, second, extended ed.
- Lloyd, J.W.¹

22
- 84990565121
- A deductive pattern marcher
- (1988) Proc. Nat'l Conf. Artificial Intelligence (AAAI) , pp. 403-408
- MacGregor, R.¹

23
- 0010058996
- Characterization and algorithmic recognition of canonical conceptual graphs
- G.W. Mineau, B. Moulin, and J.F. Sowa, eds.
- (1993) Conceptual Graphs for Knowledge Representation
- Mugnier, M.L.¹ Chein, M.²

24
- 0009991745
- Polynomial algorithms for projection and matching
- T.E. Nagle and H.D. Pfeiffer, eds.
- (1993) Conceptual Structures: Theory and Implementation
- Mugnier, M.L.¹ Chein, M.²

25
- 21844487039
- On generalization/specialization for conceptual graphs
- (1995) J. Experimental and Theoretical Artificial Intelligence , vol.7 , pp. 325-344
- Mugnier, M.L.¹

26
- 0003584577
- chapter 8, Prentice Hall
- (1995) Artificial Intelligence: A Modern Approach
- Russell, S.¹ Norvig, P.²

27
- 0003536811
- Addison Wesley
- (1984) Conceptual Structures: Information Processing in Mind and Machine
- Sowa, J.F.¹

28
- 0003952779
- Brooks/Cole
- (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations
- Sowa, J.F.¹

29
- 0001532436
- On the notion of inheritance
- (1996) ACM Computing Surveys , vol.28 , Issue.3 , pp. 438-479
- Taivalsaari, A.¹

30
- 84925979194
- An efficient easily adaptable system for interpreting natural language queries
- (1982) Computational Linguistics , vol.8 , Issue.3-4 , pp. 110-122
- Warren, D.H.D.¹ Pereira, F.C.N.²

31
- 0001998492
- Understanding subsumption and taxonomy: A framework for progress
- J.F. Sowa, ed.
- (1991) Principles of Semantic Networks , pp. 45-94
- Woods, W.A.¹

32
- 44049122596
- The KL-ONE family
- (1992) Computers & Mathematics with Applications , vol.23 , pp. 133-177
- Woods, W.A.¹ Schmolze, J.G.²

33
- 0010031975
- Declarative program theory with implicit implication
- (1996) Proc. Fourth Pacific Rim Int'l Conf. Artificial Intelligence (PRICAI)
- Wuwongse, V.¹ Nantajeewarawat, E.²

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