메뉴 건너뛰기




Volumn 5753 LNAI, Issue , 2009, Pages 585-590

Non-monotonic reasoning supporting wireless sensor networks for intelligent monitoring: The SINDI system

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

EID: 70349884033     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04238-6_62     Document Type: Conference Paper
Times cited : (5)

References (13)
  • 2
    • 0001119421 scopus 로고
    • The stable model semantics for logic programming
    • MIT Press, Massachussets
    • Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of ICLP 1988, pp. 1070-1080. MIT Press, Massachussets (1988)
    • (1988) Proc. of ICLP , vol.1988 , pp. 1070-1080
    • Gelfond, M.1    Lifschitz, V.2
  • 3
    • 0010122418 scopus 로고    scopus 로고
    • Extending and implementing the stable model semantics
    • Simons, P., Niemela, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence Journal 138(1-2), 181-234 (2002)
    • (2002) Artificial Intelligence Journal , vol.138 , Issue.1-2 , pp. 181-234
    • Simons, P.1    Niemela, I.2    Soininen, T.3
  • 5
    • 84880889003 scopus 로고    scopus 로고
    • Conflict-driven answer set solving
    • AAAI Press, Massachussets
    • Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proc. of IJCAI 2007, pp. 386-392. AAAI Press, Massachussets (2007)
    • (2007) Proc. of IJCAI , vol.2007 , pp. 386-392
    • Gebser, M.1    Kaufmann, B.2    Neumann, A.3    Schaub, T.4
  • 7
    • 70349886718 scopus 로고    scopus 로고
    • Support for context-aware monitoring in home healthcare
    • to appear
    • Mileo, A., Merico, D., Bisiani, R.: Support for context-aware monitoring in home healthcare. In: Proc. of IE 2009 (to appear, 2009)
    • (2009) Proc. of IE , vol.2009
    • Mileo, A.1    Merico, D.2    Bisiani, R.3
  • 8
    • 34250209618 scopus 로고    scopus 로고
    • Enhanced reality fieldwork: The context-aware archaeological assistant
    • Ga.ney V., van Leusen M., Exxon, S. (eds.). British Archaeological Reports, Tempus Reparatum
    • Ryan, N.S., Pascoe, J., Morse, D.R.: Enhanced reality fieldwork: The context-aware archaeological assistant. In: Ga.ney, V., van Leusen, M., Exxon, S. (eds.) Computer Applications in Archaeology 1997. British Archaeological Reports, Tempus Reparatum (1998)
    • (1998) Computer Applications in Archaeology 1997
    • Ryan, N.S.1    Pascoe, J.2    Morse, D.R.3
  • 10
    • 0029098535 scopus 로고
    • Practical functional assessment of elderly persons: A primary-care approach
    • Fleming, K.C., Evans, J.M., Weber, D.C., Chutka, D.S.: Practical functional assessment of elderly persons: A primary-care approach. Mayo Clinic 70, 890-910 (1995)
    • (1995) Mayo Clinic , vol.70 , pp. 890-910
    • Fleming, K.C.1    Evans, J.M.2    Weber, D.C.3    Chutka, D.S.4
  • 11
    • 70349855393 scopus 로고    scopus 로고
    • A logical approach to home healthcare with intelligent sensor-network support
    • bxn074
    • Merico, D., Mileo, A., Pinardi, S., Bisiani, R.: A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support. The Computer Journal (2009) bxn074
    • (2009) The Computer Journal
    • Merico, D.1    Mileo, A.2    Pinardi, S.3    Bisiani, R.4
  • 13
    • 38049073750 scopus 로고    scopus 로고
    • Gringo: A new grounder for answer set programming
    • Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. Springer, Heidelberg
    • Gebser, M., Schaub, T., Thiele, S.: Gringo: A new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.4483, pp. 266-271. Springer, Heidelberg (2007)
    • (2007) LNCS (LNAI) , vol.4483 , pp. 266-271
    • Gebser, M.1    Schaub, T.2    Thiele, S.3


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