메뉴 건너뛰기




Volumn 6104, Issue , 2006, Pages 541-550

Similarity, approximations and vagueness

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; MODAL ANALYSIS; ROBOTICS; SENSORS; THEOREM PROVING;

EID: 33645983985     PISSN: 0277786X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (1)

References (20)
  • 1
    • 85167416126 scopus 로고    scopus 로고
    • Intransitivity and vagueness
    • Dubois, D., Welty, C., Williams, M.A., eds., AAAI Press
    • Halpern, J.: Intransitivity and vagueness. In Dubois, D., Welty, C., Williams, M.A., eds.: Proc. of 9th Int. Conf. KR'2004, AAAI Press (2004) 121-129
    • (2004) Proc. of 9th Int. Conf. KR'2004 , pp. 121-129
    • Halpern, J.1
  • 2
    • 9444268140 scopus 로고    scopus 로고
    • On the correspondence between approximations and similarity
    • Tsumoto, S., Slowinski, R., Komorowski, J., Grzymala-Busse, J., eds.: Proc. of 4th Int. Conf. RSCTC'2004, Springer-Verlag
    • Doherty, P., Szałas, A.: On the correspondence between approximations and similarity. In Tsumoto, S., Slowinski, R., Komorowski, J., Grzymala-Busse, J., eds.: Proc. of 4th Int. Conf. RSCTC'2004. Volume 3066 of LNAI., Springer-Verlag (2004) 143-152
    • (2004) LNAI , vol.3066 , pp. 143-152
    • Doherty, P.1    Szałas, A.2
  • 3
    • 6344257812 scopus 로고    scopus 로고
    • Tolerance spaces and approximative representational structures
    • Günter, A., Kruse, R., Neumann, B., eds.: Proc. 26th German Conf. on AI, Springer-Verlag
    • Doherty, P., Łukaszewicz, W., Szałas, A.: Tolerance spaces and approximative representational structures. In Günter, A., Kruse, R., Neumann, B., eds.: Proc. 26th German Conf. on AI. Volume 2821 of LNAI., Springer-Verlag (2003) 475-489
    • (2003) LNAI , vol.2821 , pp. 475-489
    • Doherty, P.1    Łukaszewicz, W.2    Szałas, A.3
  • 5
    • 33947424634 scopus 로고    scopus 로고
    • Approximative query techniques for agents with heterogeneous ontologies and perceptive capabilities
    • Dubois, D., Welty, C., Williams, M.A., eds., AAAI Press
    • Doherty, P., Łukaszewicz, W., Szałas, A.: Approximative query techniques for agents with heterogeneous ontologies and perceptive capabilities. In Dubois, D., Welty, C., Williams, M.A., eds.: Proc. of the 9th Int. Conf. KR'2004, AAAI Press (2004) 459-468
    • (2004) Proc. of the 9th Int. Conf. KR'2004 , pp. 459-468
    • Doherty, P.1    Łukaszewicz, W.2    Szałas, A.3
  • 12
    • 0035279095 scopus 로고    scopus 로고
    • A new direction in AI: Toward a computational theory of perceptions
    • Zadeh, L.: A new direction in AI: Toward a computational theory of perceptions. AI Magazine 22 (2001) 73-84
    • (2001) AI Magazine , vol.22 , pp. 73-84
    • Zadeh, L.1
  • 13
    • 0031632707 scopus 로고    scopus 로고
    • Fuzzy sets and binary-proximity-based rough sets
    • Murai, T., Kanemitsu, H., Shimbo, M.: Fuzzy sets and binary-proximity- based rough sets. Information Sciences 104 (1998) 49-80
    • (1998) Information Sciences , vol.104 , pp. 49-80
    • Murai, T.1    Kanemitsu, H.2    Shimbo, M.3
  • 16
    • 33645970562 scopus 로고    scopus 로고
    • Approximate objects and approximate theories
    • Cohn, A., Giunchiglia, F., Selman, B., eds., San Francisco, Ca., Morgan Kaufmann Pub., Inc.
    • McCarthy, J.: Approximate objects and approximate theories. In Cohn, A., Giunchiglia, F., Selman, B., eds.: Proc. 7th Int. Conf. KR'2000, San Francisco, Ca., Morgan Kaufmann Pub., Inc. (2000) 519-526
    • (2000) Proc. 7th Int. Conf. KR'2000 , pp. 519-526
    • McCarthy, J.1
  • 17
    • 0030102186 scopus 로고    scopus 로고
    • Knowledge compilation and theory approximation
    • Kautz, H., Selman, B.: Knowledge compilation and theory approximation. Journal of the ACM 43 (1996) 193-224
    • (1996) Journal of the ACM , vol.43 , pp. 193-224
    • Kautz, H.1    Selman, B.2
  • 18
    • 0242324511 scopus 로고    scopus 로고
    • On strongest necessary and weakest sufficient conditions
    • Cohn, A., Giunchiglia, F., Selman, B., eds., Morgan Kaufmann
    • Lin, F.: On strongest necessary and weakest sufficient conditions. In Cohn, A., Giunchiglia, F., Selman, B., eds.: Proc. 7th Int. Conf. KR'2000, Morgan Kaufmann (2000) 167-175
    • (2000) Proc. 7th Int. Conf. KR'2000 , pp. 167-175
    • Lin, F.1
  • 19
    • 3142587640 scopus 로고
    • Tractable reasoning in artificial intelligence
    • Springer-Verlag, Berlin Heidelberg
    • Cadoli, M.: Tractable Reasoning in Artificial Intelligence. Volume 941 of LNAI. Springer-Verlag, Berlin Heidelberg (1995)
    • (1995) LNAI , vol.941
    • Cadoli, M.1
  • 20
    • 84880896799 scopus 로고    scopus 로고
    • Computing strongest necessary and weakest sufficient conditions of first-order formulas
    • Doherty, P., Łukaszewicz, W., Szałas, A.: Computing strongest necessary and weakest sufficient conditions of first-order formulas. Proc. IJCAI'2001 (2001) 145-151
    • (2001) Proc. IJCAI'2001 , pp. 145-151
    • Doherty, P.1    Łukaszewicz, W.2    Szałas, A.3


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