메뉴 건너뛰기




Volumn 3690 LNAI, Issue , 2005, Pages 357-366

Diagnosis of plans and agents

Author keywords

[No Author keywords available]

Indexed keywords

CAUSAL RULES; EXECUTING AGENT; STANDARD MODEL-BASED DIAGNOSIS;

EID: 33646157083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11559221_36     Document Type: Conference Paper
Times cited : (15)

References (12)
  • 1
    • 0006488239 scopus 로고
    • Model-based diagnosis of planning failures
    • L. Birnbaum, G. Collins, M. Freed, and B. Krulwich. Model-based diagnosis of planning failures. In AAAI 90, pages 318-323, 1990.
    • (1990) AAAI 90 , pp. 318-323
    • Birnbaum, L.1    Collins, G.2    Freed, M.3    Krulwich, B.4
  • 2
    • 0347132448 scopus 로고    scopus 로고
    • Domain monotonicity and the performance of local solutions strategies for cdps-based distributed sensor interpretation and distributed diagnosis
    • N. Carver and V.R. Lesser. Domain monotonicity and the performance of local solutions strategies for cdps-based distributed sensor interpretation and distributed diagnosis. Autonomous Agents and Multi-Agent Systems, 6(1):35-76, 2003.
    • (2003) Autonomous Agents and Multi-agent Systems , vol.6 , Issue.1 , pp. 35-76
    • Carver, N.1    Lesser, V.R.2
  • 4
    • 84990557471 scopus 로고
    • A spectrum of logical definitions of model-based diagnosis
    • L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7:133-141, 1991.
    • (1991) Computational Intelligence , vol.7 , pp. 133-141
    • Console, L.1    Torasso, P.2
  • 5
    • 33644802620 scopus 로고    scopus 로고
    • Plan-execution health repair in a multi-agent system
    • F. de Jonge and N. Roos. Plan-execution health repair in a multi-agent system. In PlanSIG 2004, 2004.
    • (2004) PlanSIG 2004
    • De Jonge, F.1    Roos, N.2
  • 7
    • 2842560201 scopus 로고
    • Strips: A new approach to the application of theorem proving to problem solving
    • R. E. Fikes and N. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 5:189-208, 1971.
    • (1971) Artificial Intelligence , vol.5 , pp. 189-208
    • Fikes, R.E.1    Nilsson, N.2
  • 9
    • 4544327892 scopus 로고    scopus 로고
    • On the design of social diagnosis algorithms for multi-agent teams
    • M. Kalech and G. A. Kaminka. On the design of social diagnosis algorithms for multi-agent teams. In IJCAI-03, pages 370-375, 2003.
    • (2003) IJCAI-03 , pp. 370-375
    • Kalech, M.1    Kaminka, G.A.2
  • 10
    • 4544320261 scopus 로고    scopus 로고
    • Diagnosing a team of agents: Scaling-up
    • M. Kalech and G. A. Kaminka. Diagnosing a team of agents: Scaling-up. In AAMAS 2004, 2004.
    • (2004) AAMAS 2004
    • Kalech, M.1    Kaminka, G.A.2
  • 11
    • 0001895823 scopus 로고    scopus 로고
    • Incremental decentralized diagnosis approach for the supervision of a telecommunication network
    • Y. Pencolé, M. Cordier, and L. Rozé. Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In DX01, 2001.
    • (2001) DX01
    • Pencolé, Y.1    Cordier, M.2    Rozé, L.3
  • 12
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95, 1987.
    • (1987) Artificial Intelligence , vol.32 , pp. 57-95
    • Reiter, R.1


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