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

메뉴 건너뛰기

Artificial Intelligence

Volumn 48, Issue 1, 1991, Pages 1-26

Attributive concept descriptions with complements

(2) Schmidt Schauß, Manfred a Smolka, Gert b

a Software AG (Germany)

b SAARLAND UNIVERSITY (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--COMPUTABILITY AND DECIDABILITY; COMPUTER PROGRAMMING LANGUAGES;

ATTRIBUTIVE CONCEPT DESCRIPTIONS; COMPLEMENTS; KNOWLEDGE REPRESENTATION; PSPACE COMPLETENESS; UNIONS;

ARTIFICIAL INTELLIGENCE;

EID: 0026107613 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(91)90078-X Document Type: Article

Times cited : (653)

References (38)

1
- 0022988016
- An algebraic semantics approach to the effective resolution of type equations
- (1986) Theor. Comput. Sci. , vol.45 , pp. 293-351
- Aït-Kaci¹

2
- 0039623735
- A lattice-theoretic approach to computation based on a calculus of partially ordered type structures
- University of Pennsylvania, Philadelphia, PA
- (1984) Ph.D. Thesis
- Aït-Kaci¹

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

4
- 84976781415
- CLASSIC: a structural data model for objects
- Portland, OR
- (1989) Proceedings ACM SIGMOD International Conference on Management of Data , pp. 59-67
- Borgida¹ Brachman² McGuiness³ Resnick⁴

5
- 0020979480
- The tractability of subsumption in frame-based description languages
- Austin, TX
- (1984) Proceedings AAAI-84 , pp. 34-37
- Brachman¹ Levesque²

6
- 0003323374
- An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON
- Los Angeles, CA
- (1985) Proceedings IJCAI-85 , pp. 532-539
- Brachman¹ Gilbert² Levesque³

7
- 33748902346
- An overview of the KL-ONE knowledge representation system
- (1985) Cogn. Sci. , vol.9 , Issue.2 , pp. 171-216
- Brachman¹ Schmolze²

8
- 84911596524
- F. Donini, B. Hollunder, M. Lenzerini, A.M. Spaccamela, D. Nardi and W. Nutt, The complexity of existential quantification in terminological reasoning, DFKI-Rept., DFKI, Kaiserslautern, FRG (to appear).

9
- 84910875532
- Determining consistency of feature terms with distributed disjunctions
- D. Metzing, Informatik Fachberichte, Springer, Berlin
- (1989) GWAI-89, 13th German Workshop on Artificial Intelligence , vol.216 , pp. 270-279
- Dörre¹ Eisele²

10
- 84911635974
- Language restrictions, taxonomic classifications, and the utility of representation services
- Laboratory for Computer Science, MIT, Cambridge, MA, also
- (1989) Tech. Memo MIT/LCS/TM387
- Doyle¹ Patil²

11
- 0344489774
- (1991) Artif. Intell.

12
- 0038494040
- Unification of disjunctive feature descriptions
- Buffalo, NY
- (1988) Proceedings 26th Annual Meeting of the ACL , pp. 286-294
- Eisele¹ Dörre²

13
- 0003603813
- Freeman, San Francisco, CA
- (1979) Computers and Intractability—A Guide to the Theory of NP-Completeness
- Garey¹ Johnson²

14
- 0013214209
- Subsumption algorithms for concept description languages
- DFKI, Kaiserslautern, FRG
- (1990) DFKI-Res. Rept. RR-90-04
- Hollunder¹ Nutt²

15
- 84990584434
- Recent developments in NIKL
- Philadelphia, PA
- (1986) Proceedings AAAI-86 , pp. 978-987
- Kaczmarek¹ Bates² Robins³

16
- 0001819722
- Lexical-functional grammar: a formal system for grammatical representation
- J. Bresnan, MIT Press, Cambridge, MA
- (1982) The Mental Representation of Grammatical Relations , pp. 173-381
- Kaplan¹ Bresnan²

17
- 84910843526
- Feature structures: a logical theory with applications to language analysis
- University of Michigan, Ann Arbor, MI
- (1987) Ph.D. Thesis
- Kasper¹

18
- 84950438069
- A unification method for disjunctive feature descriptions
- Stanford, CA
- (1987) Proceedings 25th Annual Meeting of the ACL , pp. 235-242
- Kasper¹

19
- 0013249799
- A logical semantics for feature structures
- New York
- (1986) Proceedings 24th Annual Meeting of the ACL , pp. 257-265
- Kasper¹ Rounds²

20
- 0001005386
- Functional grammar
- Berkeley, CA
- (1979) Proceedings Fifth Annual Meeting of the Berkeley Linguistics Society
- Kay¹

21
- 84990596828
- Expressiveness and tractability in knowledge representation and reasoning
- (1987) Computational Intelligence , vol.3 , pp. 78-93
- Levesque¹ Brachman²

22
- 0003212645
- A fundamental tradeoff in knowledge representation and reasoning (revised version)
- R.J. Brachman, H.J. Levesque, Morgan Kaufmann, Los Altos, CA
- (1985) Readings in Knowledge Representation , pp. 41-70
- Levesque¹ Brachman²

23
- 0003981831
- The Loom knowledge representation language
- University of Southern California, Information Science Institute, Marina del Rey, CA
- (1987) Tech. Rept. ISI/RS-87-188
- MacGregor¹ Bates²

24
- 0023999478
- Computational complexity of terminological reasoning in BACK
- (1988) Artif. Intell. , vol.34 , pp. 371-383
- Nebel¹

25
- 0010355235
- Reasoning and revision in hybrid representation systems
- Universität des Saarlandes, Saarbrücken, FRG, also in: Lecture Notes in Artificial Intelligence (Springer, Berlin, to appear)
- (1989) Ph.D. Thesis
- Nebel¹

26
- 84911656222
- Terminological reasoning is inherently intractable
- IWBS, IBM Deutschland, Stuttgart, FRG, also
- (1989) IWBS Rept. 82
- Nebel¹

27
- 0025434889
- (1990) Artif. Intell. , vol.43 , pp. 235-249
- Nebel¹

28
- 52649133055
- Representation and reasoning with attributive descriptions
- IWBS, IBM Deutschland, Stuttgart, FRG, also in
- (1989) IWBS Rept. 81
- Nebel¹ Smolka²

29
- 24244437277
- Sorts and Types in Artificial Intelligence
- Springer, Berlin
- (1990) Lecture Notes in Artificial Intelligence , vol.418 , pp. 112-139
- Bläsius¹ Hedtstück² Rollinger³

30
- 0343915191
- Hybrid reasoning in BACK
- Z.W. Ras, L. Saitta, North-Holland, Amsterdam
- (1988) Methodologies for Intelligent Systems , pp. 260-269
- Nebel¹ von Luck²

31
- 0021567779
- Small can be beautiful in knowledge representation
- Denver, CO
- (1984) Proceedings IEEE Workshop on Principles of Knowledge-Based Systems , pp. 11-16
- Patel-Schneider¹

32
- 0003760146
- An Information-Based Syntax and Semantics
- Center for the Study of Language and Information, Stanford, CA
- (1987) CSLI Lecture Notes , vol.13
- Pollard¹ Sag²

33
- 0022956154
- A complete logical calculus for record structures representing linguistic information
- Boston, MA
- (1986) Proceedings First IEEE Symposium on Logic in Computer Science , pp. 38-43
- Rounds¹ Kasper²

34
- 0001091476
- Subsumption in KL-ONE is undecidable
- R.J. Brachman, H.J. Levesque, R. Reiter, Toronto, Ont.
- (1989) Proceedings First International Conference on Principles of Knowledge Representation and Reasoning , pp. 421-431
- Schmidt-Schauß¹

35
- 0003296786
- An Introduction to Unification-Based Approaches to Grammar
- Center for the Study of Language and Information, Stanford, CA
- (1986) CSLI Lecture Notes , vol.4
- Shieber¹

36
- 84911656220
- Feature constraint logics for unification grammars
- IWBS, IBM Deutschland, Stuttgart, FRG, also J. Logic Program. (to appear)
- (1989) IWBS Rept. 93
- Smolka¹

37
- 0343837818
- A feature logic with subsorts
- IWBS, IBM Deutschland, Stuttgart, FRG
- (1988) LILOG Rept. 33
- Smolka¹

38
- 0345729148
- The restricted language architecture of a hybrid representation system
- Los Angeles, CA
- (1985) Proceedings IJCAI-85 , pp. 547-551
- Vilain¹

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