메뉴 건너뛰기




Volumn 2006, Issue , 2006, Pages 320-322

A smart home agent for plan recognition

Author keywords

Description logic; Lattice theory; Plan recognition; Smart home

Indexed keywords

COGNITIVE SYSTEMS; FORMAL LOGIC; INTELLIGENT BUILDINGS; OBJECT RECOGNITION; UNCERTAINTY ANALYSIS;

EID: 34247234604     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160687     Document Type: Conference Paper
Times cited : (6)

References (12)
  • 7
    • 34247221624 scopus 로고    scopus 로고
    • Kautz H.: A Formal Theory of Plan Recognition and its Implementation, In Reasoning About Plans, Allen J., Pelavin R. and Tenenberg J. eds., Morgan Kaufmann, San Mateo, C.A., (1991), 69-125.
    • Kautz H.: A Formal Theory of Plan Recognition and its Implementation, In Reasoning About Plans, Allen J., Pelavin R. and Tenenberg J. eds., Morgan Kaufmann, San Mateo, C.A., (1991), 69-125.
  • 11
    • 33746083746 scopus 로고    scopus 로고
    • ISI, University of Southern California
    • PowerLoom: PowerLoom Knowledge Representation System, ISI, University of Southern California, http://www.isi.edu/isd/LOOM/PowerLoom/index. html, (2002).
    • (2002) PowerLoom Knowledge Representation System
    • PowerLoom1
  • 12
    • 0036608781 scopus 로고    scopus 로고
    • Two Logical Theories of Plan Recognition
    • Wobke W.: Two Logical Theories of Plan Recognition, Journal of Logic Computation, Vol. 12 (3), (2002), 371-412.
    • (2002) Journal of Logic Computation , vol.12 , Issue.3 , pp. 371-412
    • Wobke, W.1


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