-
2
-
-
0026913667
-
Symbolic Boolean manipulation with ordered binary-decision diagrams
-
Bryant, R. E., 1992. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24 (3): 293-318.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
3
-
-
0002623871
-
Modsaf behavior simulation and control
-
University of Central Florida
-
Calder, R. B., J. E. Smith, A. J. Courtemanche, J. M. F. Mar, and, A. Z. Ceranowicz,. 1993. Modsaf behavior simulation and control. In Proceedings of the Third Conference on Computer Generated Forces and Behavioral Reresentation, Orlando, Florida. Institute for Simulation and Training, University of Central Florida.
-
(1993)
Proceedings of the Third Conference on Computer Generated Forces and Behavioral Reresentation, Orlando, Florida. Institute for Simulation and Training
-
-
Calder, R.B.1
Smith, J.E.2
Courtemanche, A.J.3
Mar, J.M.F.4
Ceranowicz, A.Z.5
-
4
-
-
0005468831
-
The DRESUN testbed for research in FA/C distributed situation assessment: Extensions to the model of external evidence
-
Edited by V. Lesser and L. Gasser. AAAI Press: San Francisco
-
Carver, N., and, V. Lesser,. 1995. The DRESUN testbed for research in FA/C distributed situation assessment: Extensions to the model of external evidence. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95). Edited by, V. Lesser, and, L. Gasser,. AAAI Press: San Francisco, pp. 33-40.
-
(1995)
Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95)
, pp. 33-40
-
-
Carver, N.1
Lesser, V.2
-
5
-
-
0001064543
-
Teamwork
-
Cohen, P., and, H. Levesque,. 1991. Teamwork. Nous, 25 (4): 487-512.
-
(1991)
Nous
, vol.25
, Issue.4
, pp. 487-512
-
-
Cohen, P.1
Levesque, H.2
-
6
-
-
2942671259
-
A knowledge compilation map
-
Darwiche, A., and, P. Marquis,. 2002. A knowledge compilation map. Journal of Artificial Intelligence Research, 17 (1): 229-264.
-
(2002)
Journal of Artificial Intelligence Research
, vol.17
, Issue.1
, pp. 229-264
-
-
Darwiche, A.1
Marquis, P.2
-
7
-
-
0000130693
-
Model-based reasoning: Troubleshooting
-
Edited by A. E. Shrobe, Morgan Kaufmann: San Francisco
-
Davis, R., and, W. C. Hamscher,. 1988. Model-based reasoning: Troubleshooting. In Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence. Edited by, A. E. Shrobe, Morgan Kaufmann: San Francisco, pp. 297-346.
-
(1988)
Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence
, pp. 297-346
-
-
Davis, R.1
Hamscher, W.C.2
-
8
-
-
0023330169
-
Diagnosing multiple faults
-
De Kleer, J., and, B. C. Williams,. 1987. Diagnosing multiple faults. Artificial Intelligence, 32 (1): 97-130.
-
(1987)
Artificial Intelligence
, vol.32
, Issue.1
, pp. 97-130
-
-
De Kleer, J.1
Williams, B.C.2
-
11
-
-
0035395660
-
Scaling up agent coordination strategies
-
DOI 10.1109/2.933502
-
Durfee, E. H., 2001. Scaling up agent coordination strategies. IEEE Computer, 34 (7): 39-46. (Pubitemid 32658159)
-
(2001)
Computer
, vol.34
, Issue.7
, pp. 39-46
-
-
Durfee, E.H.1
-
12
-
-
1442320072
-
Diagnostic agents for distributed systems
-
Fröhlich, P., I. De Almeida Mora, W. Nejdl, and, Schröder, M,. 1997. Diagnostic agents for distributed systems. In ModelAge Workshop, pp. 173-186.
-
(1997)
ModelAge Workshop
, pp. 173-186
-
-
Fröhlich, P.1
De Almeida Mora, I.2
Nejdl, W.3
Schröder, M.4
-
14
-
-
0003815161
-
Diagnosis as an integral part of multi-agent adaptability
-
University of Massachusetts/Amherst
-
Horling, B., V. R. Lesser, R. Vincent, A. Bazzan, and, P. Xuan,. 1999. Diagnosis as an integral part of multi-agent adaptability. Technical Report CMPSCI Technical Report 1999-03, University of Massachusetts/Amherst.
-
(1999)
Technical Report CMPSCI Technical Report 1999-03
-
-
Horling, B.1
Lesser, V.R.2
Vincent, R.3
Bazzan, A.4
Xuan, P.5
-
15
-
-
0034819910
-
Using self-diagnosis to adapt organizational structures
-
Horling, B., B. Benyo, and, V. Lesser,. 2001. Using self-diagnosis to adapt organizational structures. In Proceedings of the 5th International Conference on Autonomous Agents. ACM Press: Montreal, Canada, pp. 529-536. (Pubitemid 32866114)
-
(2001)
Proceedings of the International Conference on Autonomous Agents
, pp. 529-536
-
-
Horling, B.1
Benyo, B.2
Lesser, V.3
-
16
-
-
0029326031
-
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
-
Jennings, N. R., 1995. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence Journal, 75 (2): 195-240.
-
(1995)
Artificial Intelligence Journal
, vol.75
, Issue.2
, pp. 195-240
-
-
Jennings, N.R.1
-
17
-
-
58549092354
-
Primary and secondary diagnosis of multi-agent plan execution
-
Jonge, F., N. Roos, and, C. Witteveen,. 2009. Primary and secondary diagnosis of multi-agent plan execution. Autonomous Agents and Multi-Agent Systems, 18 (2): 267-294.
-
(2009)
Autonomous Agents and Multi-Agent Systems
, vol.18
, Issue.2
, pp. 267-294
-
-
Jonge, F.1
Roos, N.2
Witteveen, C.3
-
18
-
-
4544327892
-
On the design of social diagnosis algorithms for multi-agent teams
-
Acapulco, Mexico
-
Kalech, M., and, G. A. Kaminka,. 2003. On the design of social diagnosis algorithms for multi-agent teams. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, pp. 370-375.
-
(2003)
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-03)
, pp. 370-375
-
-
Kalech, M.1
Kaminka, G.A.2
-
22
-
-
34249746148
-
On the design of coordination diagnosis algorithms for teams of situated agents
-
DOI 10.1016/j.artint.2007.03.005, PII S0004370207000483
-
Kalech, M., and, G. A. Kaminka,. 2007. On the design of coordination diagnosis algorithms for teams of situated agents. Artificial Intelligence, 171 (8-9): 491-513. (Pubitemid 46828979)
-
(2007)
Artificial Intelligence
, vol.171
, Issue.8-9
, pp. 491-513
-
-
Kalech, M.1
Kaminka, G.A.2
-
24
-
-
33644814629
-
Flexible teamwork in behavior-based robots
-
Utrecht, the Netherlands
-
Kaminka, G. A., and, I. Frenkel,. 2005. Flexible teamwork in behavior-based robots. In National Conference of the Association for the Advancement of Artificial Intelligence (AAAI-05), Utrecht, the Netherlands, pp. 1355-1356.
-
(2005)
National Conference of the Association for the Advancement of Artificial Intelligence (AAAI-05)
, pp. 1355-1356
-
-
Kaminka, G.A.1
Frenkel, I.2
-
25
-
-
0031636473
-
What's wrong with us? Improving robustness through social diagnosis
-
Madison, WI
-
Kaminka, G. A., and, M. Tambe,. 1998. What's wrong with us? Improving robustness through social diagnosis. In National Conference of the Association for the Advancement of Artificial Intelligence (AAAI-98), Madison, WI, pp. 97-104.
-
(1998)
National Conference of the Association for the Advancement of Artificial Intelligence (AAAI-98)
, pp. 97-104
-
-
Kaminka, G.A.1
Tambe, M.2
-
27
-
-
0032645146
-
Exception handling in agent systems
-
Seattle, WA
-
Klein, M., and, C. Dellarocas,. 1999. Exception handling in agent systems. In Proceeding of the Third International Conference on Autonomous Agents, Seattle, WA, pp. 62-68.
-
(1999)
Proceeding of the Third International Conference on Autonomous Agents
, pp. 62-68
-
-
Klein, M.1
Dellarocas, C.2
-
28
-
-
0032156107
-
Reaching agreements through argumentation: A logical model and implementation
-
PII S0004370298000782
-
Kraus, S., S. Katia, and, A. Evenchik,. 1998. Reaching agreements through argumentation: A logical model and implementation. Artificial Intelligence, 104 (1-2): 1-69. (Pubitemid 128400986)
-
(1998)
Artificial Intelligence
, vol.104
, Issue.1-2
, pp. 1-69
-
-
Kraus, S.1
Sycara, K.2
Evenchik, A.3
-
29
-
-
0032030158
-
Behavior-based robotics as a tool for synthesis of artificial behavior and analysis of natural behavior
-
DOI 10.1016/S1364-6613(98)01141-3, PII S1364661398011413
-
Mataric, M., 1998. Behavior-based robotics as a tool for synthesis of artificial behavior and analysis of natural behavior. Trends in Cognitive Science, 2 (3): 82-87. (Pubitemid 28396471)
-
(1998)
Trends in Cognitive Sciences
, vol.2
, Issue.3
, pp. 82-87
-
-
Mataric, M.J.1
-
31
-
-
38049021660
-
Diagnosis of multi-agent plans under partial observability
-
Nashville, TN
-
Micalizio, R., and, P. Torasso,. 2007. Diagnosis of multi-agent plans under partial observability. In Proceedings of the 18th International Workshop on Principles of Diagnosis (DX07), Nashville, TN, pp. 346-353.
-
(2007)
Proceedings of the 18th International Workshop on Principles of Diagnosis (DX07)
, pp. 346-353
-
-
Micalizio, R.1
Torasso, P.2
-
32
-
-
84855321834
-
Monitoring the execution of a multi-agent plan: Dealing with partial observability
-
Patras, Greece, ECAI-08, Patras
-
Micalizio, R., and, P. Torasso,. 2008. Monitoring the execution of a multi-agent plan: Dealing with partial observability. In Proceeding of European Conference on Artificial Intelligence, Patras, Greece, ECAI-08, pp. 408-412. Patras.
-
(2008)
Proceeding of European Conference on Artificial Intelligence
, pp. 408-412
-
-
Micalizio, R.1
Torasso, P.2
-
33
-
-
85017363065
-
On-line monitoring and diagnosis of multi-agent systems: A model based approach
-
Valencia, Spain
-
Micalizio, R., P. Torasso, and, G. Torta,. 2004. On-line monitoring and diagnosis of multi-agent systems: A model based approach. In Proceeding of European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, Vol. 16, pp. 848-852.
-
(2004)
Proceeding of European Conference on Artificial Intelligence (ECAI 2004)
, vol.16
, pp. 848-852
-
-
Micalizio, R.1
Torasso, P.2
Torta, G.3
-
34
-
-
0036361775
-
Debugging multi-agent systems using design artifacts: The case of interaction protocols
-
Poutakidis, D., L. Padgham, and, M. Winikoff,. 2002. Debugging multi-agent systems using design artifacts: The case of interaction protocols. In Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS-02), Bologna, Italy, pp. 960-967. (Pubitemid 34975300)
-
(2002)
Proceedings of the International Conference on Autonomous Agents
, Issue.1
, pp. 960-967
-
-
Poutakidis, D.1
Padgham, L.2
Winikoff, M.3
-
35
-
-
0347080569
-
Toward team-oriented programming
-
Orlando, FL
-
Pynadath, D. V., M. Tambe, N. Chauvat, and, L. Cavedon,. 1999. Toward team-oriented programming. In Proceedings of the Agents, Theories, Architectures and Languages (ATAL'99) Workshop (to be published in Springer Verlag "Intelligent Agents V"), Orlando, FL, pp. 77-91.
-
(1999)
Proceedings of the Agents, Theories, Architectures and Languages (ATAL'99) Workshop (To Be Published in Springer Verlag "intelligent Agents V")
, pp. 77-91
-
-
Pynadath, D.V.1
Tambe, M.2
Chauvat, N.3
Cavedon, L.4
-
36
-
-
0023329093
-
A theory of diagnosis from first principles
-
Reiter, R., 1987. A theory of diagnosis from first principles. Artificial Intelligence, 32 (1): 57-96.
-
(1987)
Artificial Intelligence
, vol.32
, Issue.1
, pp. 57-96
-
-
Reiter, R.1
-
37
-
-
33746381795
-
Multi-agent diagnosis with spatially distributed knowledge
-
Leuven, Belgium
-
Roos, N., A. T. Teije, A. Bos, and, C. Witteveen,. 2002. Multi-agent diagnosis with spatially distributed knowledge. In Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC-02), Leuven, Belgium, pp. 275-282.
-
(2002)
Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC-02)
, pp. 275-282
-
-
Roos, N.1
Teije, A.T.2
Bos, A.3
Witteveen, C.4
-
38
-
-
1142293028
-
A protocol for multi-agent diagnosis with spatially distributed knowledge
-
Melbourne, Australia
-
Roos, N., A. T. Teije, and, C. Witteveen,. 2003. A protocol for multi-agent diagnosis with spatially distributed knowledge. In Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS-03), Melbourne, Australia, pp. 655-661.
-
(2003)
Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS-03)
, pp. 655-661
-
-
Roos, N.1
Teije, A.T.2
Witteveen, C.3
-
39
-
-
4544281956
-
Reaching diagnostic agreement in multi-agent diagnosis
-
New York
-
Roos, N., A. T. Teije, and, C. Witteveen,. 2004. Reaching diagnostic agreement in multi-agent diagnosis. In Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS-04), New York, pp. 1254-1255.
-
(2004)
Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS-04)
, pp. 1254-1255
-
-
Roos, N.1
Teije, A.T.2
Witteveen, C.3
-
40
-
-
80053048733
-
Diagnosis of plan execution and the executing agent
-
Brussels, Belgium
-
Roos, N., and, C. Witteveen,. 2005. Diagnosis of plan execution and the executing agent. In Proceedings of the Third European Workshop on Multi-Agent Systems (EUMAS-05), Brussels, Belgium, pp. 502-503.
-
(2005)
Proceedings of the Third European Workshop on Multi-Agent Systems (EUMAS-05)
, pp. 502-503
-
-
Roos, N.1
Witteveen, C.2
-
41
-
-
60349084528
-
Models and methods for plan diagnosis
-
Roos, N., and, C. Witteveen,. 2009. Models and methods for plan diagnosis. Autonomous Agents and Multi-Agent Systems, 19 (1): 30-52.
-
(2009)
Autonomous Agents and Multi-Agent Systems
, vol.19
, Issue.1
, pp. 30-52
-
-
Roos, N.1
Witteveen, C.2
-
42
-
-
33745241847
-
Techniques and directions for building very large agent teams
-
Waltham, MA
-
Scerri, P., J. A. Giampapa, and, K. Sycara,. 2005a. Techniques and directions for building very large agent teams. In 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering, Waltham, MA, pp. 79-84.
-
(2005)
2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering
, pp. 79-84
-
-
Scerri, P.1
Giampapa, J.A.2
Sycara, K.3
-
43
-
-
33645887637
-
Coordinating very large groups of wide area search munitions
-
Edited by Don Grundel and Panos M. Pardalos. World Scientific Publishing: New York
-
Scerri, P., E. Liao, Y. Xu, M. Lewis, G. Lai, and, K. Sycara,. 2005b. Coordinating very large groups of wide area search munitions. In Theory and Algorithms for Cooperative Systems. Edited by, Don Grundel, and, Panos M. Pardalos,. World Scientific Publishing: New York, pp. 451-480.
-
(2005)
Theory and Algorithms for Cooperative Systems
, pp. 451-480
-
-
Scerri, P.1
Liao, E.2
Xu, Y.3
Lewis, M.4
Lai, G.5
Sycara, K.6
-
46
-
-
0032019725
-
Implementing agent teams in dynamic multiagent environments
-
Tambe, M., 1998. Implementing agent teams in dynamic multi-agent environments. Applied Artificial Intelligence, 12 (2-3): 189-210. (Pubitemid 127619178)
-
(1998)
Applied Artificial Intelligence
, vol.12
, Issue.2-3
, pp. 189-210
-
-
Tambe, M.1
-
47
-
-
84880677312
-
Two fielded teams and two experts: A robocup challenge response from the trenches
-
Stockholm, Sweden
-
Tambe, M., G. A. Kaminka, S. C. Marsella, I. Muslea, and, T. Raines,. 1999. Two fielded teams and two experts: A robocup challenge response from the trenches. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden, Vol. 1, pp. 276-281.
-
(1999)
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)
, vol.1
, pp. 276-281
-
-
Tambe, M.1
Kaminka, G.A.2
Marsella, S.C.3
Muslea, I.4
Raines, T.5
-
48
-
-
34547180048
-
Model-based diagnosis through obdd compilation: A complexity analysis
-
Lecture Notes in Computer Science, Edited by Oliviero Stock. Springer: New York
-
Torasso, P., and, G. Torta,. 2006. Model-based diagnosis through obdd compilation: A complexity analysis. In Reasoning, Action and Interaction in AI Theories and Systems, Lecture Notes in Computer Science, Vol. 4155. Edited by, Oliviero Stock,. Springer: New York, pp. 287-305.
-
(2006)
Reasoning, Action and Interaction in AI Theories and Systems
, vol.4155
, pp. 287-305
-
-
Torasso, P.1
Torta, G.2
|