-
2
-
-
35048832366
-
Teaming humans and agents in a simulated world
-
Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, Springer Verlag
-
Sioutis, C., Tweedale, J., Urlings, P., Ichalkaranje, N. & Jain, L. C. Teaming Humans and Agents in a Simulated World. Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems. Lecture Notes in Computer Science, vol. 3213, Springer Verlag, 2004, 80-86.
-
(2004)
Lecture Notes in Computer Science
, vol.3213
, pp. 80-86
-
-
Sioutis, C.1
Tweedale, J.2
Urlings, P.3
Ichalkaranje, N.4
Jain, L.C.5
-
3
-
-
15744382654
-
Building and evaluating an intelligent pedagogical agent to improve the effectiveness of an educational game
-
Conati, C. & Zhao, X. Building and evaluating an intelligent pedagogical agent to improve the effectiveness of an educational game. In Proceedings of International Conference on Intelligent User Interfaces, 2004, 6-13.
-
(2004)
Proceedings of International Conference on Intelligent User Interfaces
, pp. 6-13
-
-
Conati, C.1
Zhao, X.2
-
5
-
-
0000931858
-
Reactive reasoning and planning
-
Menlo Park, California.: American Association for Artificial Intelligence
-
Georgeff, M. P., & Lansky, A. L. Reactive Reasoning and Planning. In Proceedings of the Sixth National Conference on Artificial Intelligence. Menlo Park, California.: American Association for Artificial Intelligence, 1987, 677-682.
-
(1987)
Proceedings of the Sixth National Conference on Artificial Intelligence
, pp. 677-682
-
-
Georgeff, M.P.1
Lansky, A.L.2
-
7
-
-
35048895325
-
Innovations in intelligent agents and applications
-
Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, Springer Verlag
-
Phillips-Wren, G. E., & Ichalkaranje, N. Innovations in Intelligent Agents and Applications. Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems. Lecture Notes in Computer Science, vol. 3213, Springer Verlag, 2004, 7173.
-
(2004)
Lecture Notes in Computer Science
, vol.3213
, pp. 7173
-
-
Phillips-Wren, G.E.1
Ichalkaranje, N.2
-
8
-
-
0010270047
-
Interface agents in complex systems
-
C. Ntuen and E.H. Park (Eds.). Norwell, MA: Kluwer Academic Publishers
-
Zachary, W., Le Mentec, J-C. & Ryder, J. Interface agents in complex systems. In C. Ntuen and E.H. Park (Eds.), Human interaction with complex systems: Conceptual Principles and Design Practice. Norwell, MA: Kluwer Academic Publishers, 1996.
-
(1996)
Human Interaction with Complex Systems: Conceptual Principles and Design Practice
-
-
Zachary, W.1
Le Mentec, J.-C.2
Ryder, J.3
-
9
-
-
0010264975
-
Intelligent human-computer interaction in real time, multi-tasking process control and monitoring systems
-
M. Helander and M. Nagamachi (Eds.). New York: Taylor and Francis
-
Zachary, W., Ryder, J., Ross, L. & Weiland, M. Intelligent Human-Computer Interaction in Real Time, Multi-tasking Process Control and Monitoring Systems. In M. Helander and M. Nagamachi (Eds.), Human Factors in Design for Manufacturability. New York: Taylor and Francis, 1992, 377-402.
-
(1992)
Human Factors in Design for Manufacturability
, pp. 377-402
-
-
Zachary, W.1
Ryder, J.2
Ross, L.3
Weiland, M.4
-
10
-
-
33644815303
-
-
Url: http://www.mak.com/vrforces.htm
-
-
-
-
11
-
-
33644809119
-
-
Url: http://freemind.sourceforge.net
-
-
-
-
12
-
-
77956810885
-
A survey of Concurrent MetateM - The language and its applications
-
D.M. Gabbay & H.J. Ohlbach (eds.), Temporal Logic - Proceedings of the First International Conference
-
Fisher, M. A survey of Concurrent MetateM - the language and its applications. In: D.M. Gabbay & H.J. Ohlbach (eds.), Temporal Logic - Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, 1994, 480-505.
-
(1994)
Lecture Notes in AI
, vol.827
, pp. 480-505
-
-
Fisher, M.1
-
13
-
-
84949205205
-
Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness
-
Proceedings of the International Workshop on Compositionality, COMPOS'97 , Springer Verlag
-
Jonker, C.M. & Treur, J. Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, 350-380.
-
(1998)
Lecture Notes in Computer Science
, vol.1536
, pp. 350-380
-
-
Jonker, C.M.1
Treur, J.2
-
14
-
-
0003607438
-
-
Research Studies Press
-
Barringer, H., Fisher, M., Gabbay, D., Owens, R., & Reynolds, M., The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press, 1996.
-
(1996)
The Imperative Future: Principles of Executable Temporal Logic
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Owens, R.4
Reynolds, M.5
|