메뉴 건너뛰기




Volumn 3363 LNCS, Issue , 2005, Pages 215-229

On horn axiomatizations for sequential data

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED SEQUENCES; CONCEPT LATTICES; FORMAL CONCEPT ANALYSIS; GENERAL METHOD; LOGICAL CHARACTERIZATION; ORDERED DATA; PROPOSITIONAL THEORIES; SEQUENTIAL DATA;

EID: 77049116292     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30570-5_15     Document Type: Conference Paper
Times cited : (6)

References (15)
  • 6
    • 0012110191 scopus 로고
    • The lattice theory of functional dependencies and normal decompositions
    • A. Day. The lattice theory of functional dependencies and normal decompositions. Int. Journal of Algebra and Computation, 2(4):409-431, 1992.
    • (1992) Int. Journal of Algebra and Computation , vol.2 , Issue.4 , pp. 409-431
    • Day, A.1
  • 8
    • 0029275286 scopus 로고
    • Horn approximations of empirical data
    • H. Kautz, M. Kearns, and B. Selman. Horn approximations of empirical data. Artificial Intelligence, 74(1):129-145, 1995.
    • (1995) Artificial Intelligence , vol.74 , Issue.1 , pp. 129-145
    • Kautz, H.1    Kearns, M.2    Selman, B.3
  • 9
    • 77049124471 scopus 로고    scopus 로고
    • N. Pasquier, Y. Bastide, R. Taouil L., and Lakhal. Closed set based discovery of small covers for association rules. In Proc. 15th Int. Conf. on Advanced Databases, pp. 361-381, 1999.
    • N. Pasquier, Y. Bastide, R. Taouil L., and Lakhal. Closed set based discovery of small covers for association rules. In Proc. 15th Int. Conf. on Advanced Databases, pp. 361-381, 1999.
  • 11
    • 0030102186 scopus 로고    scopus 로고
    • Knowledge compilation and theory approximation
    • B. Selman and H. Kautz. Knowledge compilation and theory approximation. Journal of the ACM, 43(2):193-224, 1996.
    • (1996) Journal of the ACM , vol.43 , Issue.2 , pp. 193-224
    • Selman, B.1    Kautz, H.2


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