-
1
-
-
0006488239
-
Model-based diagnosis of planning failures
-
Birnbaum, L., Collins, G., Freed, M., Krulwich, B.: Model-based diagnosis of planning failures. In: Proc. AAAI90, pp. 318-323 (1990)
-
(1990)
Proc. AAAI90
, pp. 318-323
-
-
Birnbaum, L.1
Collins, G.2
Freed, M.3
Krulwich, B.4
-
2
-
-
16244391819
-
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
-
Pencolé, Y., Cordier, M.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence 164, 121-170 (2005)
-
(2005)
Artificial Intelligence
, vol.164
, pp. 121-170
-
-
Pencolé, Y.1
Cordier, M.2
-
3
-
-
85158096949
-
Back to the future for consistency-based trajectory tracking
-
Kurien, J., Nayak, P.: Back to the future for consistency-based trajectory tracking. In: Proc. AAAIOO, pp. 370-377 (2000)
-
(2000)
Proc. AAAIOO
, pp. 370-377
-
-
Kurien, J.1
Nayak, P.2
-
4
-
-
0347132448
-
Domain monotonicity and the performance of local solutions strategies for cdps-based distributed sensor interpretation and distributed diagnosis
-
Carver, N., Lesser, V.: Domain monotonicity and the performance of local solutions strategies for cdps-based distributed sensor interpretation and distributed diagnosis. Journal of Autonomous Agents and Multi-Agent Systems 6, 35-76 (2003)
-
(2003)
Journal of Autonomous Agents and Multi-Agent Systems
, vol.6
, pp. 35-76
-
-
Carver, N.1
Lesser, V.2
-
6
-
-
33646157083
-
Diagnosis of plan execution and the executing agent
-
Furbach, U, ed, KI, Springer, Heidelberg
-
Roos, N., Witteveen, C.: Diagnosis of plan execution and the executing agent. In: Furbach, U. (ed.) KI 2005. LNCS (LNAI), vol. 3698, pp. 357-366. Springer, Heidelberg (2005)
-
(2005)
LNCS (LNAI
, vol.3698
, pp. 357-366
-
-
Roos, N.1
Witteveen, C.2
-
7
-
-
11544363000
-
Refinement planning as a unifying framework for plan synthesis
-
Kambhampati, S.: Refinement planning as a unifying framework for plan synthesis. AI Magazine 18(2), 67-97 (1997)
-
(1997)
AI Magazine
, vol.18
, Issue.2
, pp. 67-97
-
-
Kambhampati, S.1
-
9
-
-
33847128304
-
On-line monitoring and diagnosis of a team of service robots: A model-based approach
-
Micalizio, R., Torasso, P., Torta, G.: On-line monitoring and diagnosis of a team of service robots: a model-based approach. AI Communications 19(4), 313-349 (2006)
-
(2006)
AI Communications
, vol.19
, Issue.4
, pp. 313-349
-
-
Micalizio, R.1
Torasso, P.2
Torta, G.3
-
11
-
-
38049115700
-
-
Goldszmidt, M., Pearl, J.: Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions. In: Proc. KR92, pp. 661-672 (1992)
-
Goldszmidt, M., Pearl, J.: Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions. In: Proc. KR92, pp. 661-672 (1992)
-
-
-
-
12
-
-
38049105545
-
-
Micalizio, R., Torasso, P., Torta, G.: Intelligent supervision of plan execution in multi-agent systems. Int. Tran, on Systems Science and App. 1(3), 259-267 (2006)
-
Micalizio, R., Torasso, P., Torta, G.: Intelligent supervision of plan execution in multi-agent systems. Int. Tran, on Systems Science and App. 1(3), 259-267 (2006)
-
-
-
|