메뉴 건너뛰기




Volumn 14, Issue , 2001, Pages 147-176

Reasoning within fuzzy description logics

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INFORMATION RETRIEVAL; MULTIMEDIA SYSTEMS; PROBLEM SOLVING; SEMANTICS;

EID: 0036375983     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.813     Document Type: Article
Times cited : (483)

References (39)
  • 1
    • 0002442895 scopus 로고
    • KRIS: Knowledge representation and inference system, system description
    • Baader, F., & Hollunder, B. (1991a). KRIS: Knowledge representation and inference system, system description. ACM SIGART Bulletin, 2, 8-14.
    • (1991) ACM SIGART Bulletin , vol.2 , pp. 8-14
    • Baader, F.1    Hollunder, B.2
  • 2
    • 84873687728 scopus 로고
    • A terminological knowledge representation system with complete inference algorithm
    • Proc. of the Workshop on Processing Declarative Knowledge, PDK-91, Springer-Verlag
    • Baader, F., & Hollunder, B. (1991b). A terminological knowledge representation system with complete inference algorithm. In Proc. of the Workshop on Processing Declarative Knowledge, PDK-91, No. 567 in Lecture Notes in Artificial Intelligence, pp. 67-86. Springer-Verlag.
    • (1991) Lecture Notes in Artificial Intelligence , Issue.567 , pp. 67-86
    • Baader, F.1    Hollunder, B.2
  • 4
    • 0015559433 scopus 로고
    • On the analytic formalism of the theory of fuzzy sets
    • Bellman, R., & Giertz, M. (1973). On the analytic formalism of the theory of fuzzy sets. Information Sciences, 5, 149-156.
    • (1973) Information Sciences , vol.5 , pp. 149-156
    • Bellman, R.1    Giertz, M.2
  • 8
    • 21344463969 scopus 로고    scopus 로고
    • A sound and complete fuzzy logic system using Zadeh's implication operator
    • Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), Springer-Verlag
    • Chen, J., & Kundu, S. (1996). A sound and complete fuzzy logic system using Zadeh's implication operator. In Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), No. 1079 in Lecture Notes in Artificial Intelligence, pp. 233-242. Springer-Verlag.
    • (1996) Lecture Notes in Artificial Intelligence , Issue.1079 , pp. 233-242
    • Chen, J.1    Kundu, S.2
  • 9
    • 0010355232 scopus 로고
    • A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic
    • Proc. of the 5th Int. Conf. on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-94), Springer-Verlag
    • da Silva, R. M., Pereira, A. E. C., & Netto, M. A. (1994). A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic. In Proc. of the 5th Int. Conf. on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-94), No. 945 in Lecture Notes in Computer Science. Springer-Verlag.
    • (1994) Lecture Notes in Computer Science , Issue.945
    • Da Silva, R.M.1    Pereira, A.E.C.2    Netto, M.A.3
  • 13
    • 84949813936 scopus 로고    scopus 로고
    • Approximate and commonsense reasoning: From theory to practice
    • Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), Springer-Verlag
    • Dubois, D., & Prade, H. (1996). Approximate and commonsense reasoning: From theory to practice. In Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), No. 1079 in Lecture Notes in Artificial Intelligence, pp. 19-33. Springer-Verlag.
    • (1996) Lecture Notes in Artificial Intelligence , Issue.1079 , pp. 19-33
    • Dubois, D.1    Prade, H.2
  • 14
    • 0025535649 scopus 로고
    • An analysis of first-order logics of probability
    • Halpern, J. Y. (1990). An analysis of first-order logics of probability. Artificial Intelligence Journal, 46, 311-350.
    • (1990) Artificial Intelligence Journal , vol.46 , pp. 311-350
    • Halpern, J.Y.1
  • 16
    • 0010359829 scopus 로고
    • An alternative proof method for possibilistic logic and its application to terminological logics
    • Seattle, Washington. R. Lopez de Mantaras and D. Pool
    • Hollunder, B. (1994). An alternative proof method for possibilistic logic and its application to terminological logics. In 10th Annual Conference on Uncertainty in Artificial Intelligence Seattle, Washington. R. Lopez de Mantaras and D. Pool.
    • (1994) 10th Annual Conference on Uncertainty in Artificial Intelligence
    • Hollunder, B.1
  • 21
    • 0015278896 scopus 로고
    • Fuzzy logic and the resolution principle
    • Lee, R. C. T. (1972). Fuzzy logic and the resolution principle. Journal of the ACM, 19(1), 109-119.
    • (1972) Journal of the ACM , vol.19 , Issue.1 , pp. 109-119
    • Lee, R.C.T.1
  • 22
    • 84957553631 scopus 로고    scopus 로고
    • Modelling the retrieval of structured documents containing texts and images
    • Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries, Pisa, Italy
    • Meghini, C., Sebastiani, F., & Straccia, U. (1997). Modelling the retrieval of structured documents containing texts and images. In Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries, No. 1324 in Lecture Notes in Computer Science, pp. 325-344 Pisa, Italy.
    • (1997) Lecture Notes in Computer Science , Issue.1324 , pp. 325-344
    • Meghini, C.1    Sebastiani, F.2    Straccia, U.3
  • 23
    • 0013404467 scopus 로고    scopus 로고
    • MIRLOG: A logic for multimedia information retrieval
    • Crestani, F., Lalmas, M., & van Rijsbergen, C. (Eds.), Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information, chap. 7, Kluwer Academic Publishers, Boston, USA
    • Meghini, C., Sebastiani, F., & Straccia, U. (1998). MIRLOG: A logic for multimedia information retrieval. In Crestani, F., Lalmas, M., & van Rijsbergen, C. (Eds.), Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information, Vol. 4 of The Kluwer International Series On Information Retrieval, chap. 7, pp. 151-185. Kluwer Academic Publishers, Boston, USA.
    • (1998) The Kluwer International Series on Information Retrieval , vol.4 , pp. 151-185
    • Meghini, C.1    Sebastiani, F.2    Straccia, U.3
  • 25
    • 0023999478 scopus 로고
    • Computational complexity of terminological reasoning in BACK
    • Nebel, B. (1988). Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34, 371-383.
    • (1988) Artificial Intelligence , vol.34 , pp. 371-383
    • Nebel, B.1
  • 29
    • 0001917244 scopus 로고
    • The BACK system - An overview
    • Peltason, C. (1991). The BACK system - an overview. SIGART Bulletin, 2(3), 114-119.
    • (1991) SIGART Bulletin , vol.2 , Issue.3 , pp. 114-119
    • Peltason, C.1
  • 30
    • 0030120958 scopus 로고    scopus 로고
    • On the hardness of approximate reasoning
    • Roth, D. (1996). On the hardness of approximate reasoning. Artificial Intelligence Journal, 82, 273-302.
    • (1996) Artificial Intelligence Journal , vol.82 , pp. 273-302
    • Roth, D.1
  • 31
    • 0026107613 scopus 로고
    • Attributive concept descriptions with complements
    • Schmidt-Schauß, M., & Smolka, G. (1991). Attributive concept descriptions with complements. Artificial Intelligence, 48, 1-26.
    • (1991) Artificial Intelligence , vol.48 , pp. 1-26
    • Schmidt-Schauß, M.1    Smolka, G.2
  • 34
    • 0010359832 scopus 로고    scopus 로고
    • A note on the relationship between fuzzy logic and four-valued logic
    • Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy
    • Straccia, U. (2000a). A note on the relationship between fuzzy logic and four-valued logic. Technical report B4-22-10-2000, Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy.
    • (2000) Technical Report B4-22-10-2000
    • Straccia, U.1
  • 35
    • 0010398391 scopus 로고    scopus 로고
    • Reasoning and experimenting within Zadeh's fuzzy propositional logic
    • Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy
    • Straccia, U. (2000b). Reasoning and experimenting within Zadeh's fuzzy propositional logic. Technical report 2000-b4-011, Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy.
    • (2000) Technical Report 2000-b4-011
    • Straccia, U.1


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