-
4
-
-
0003607438
-
-
Research Studies Press Ltd. and John Wiley & Sons
-
Barringer, H., M. Fisher, D. Gabbay, R. Owens, & M. Reynolds (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons.
-
(1996)
The Imperative Future: Principles of Executable Temporal Logic
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Owens, R.4
Reynolds, M.5
-
6
-
-
4544313537
-
Groups as agents with mental attitudes
-
Jennings, N.R., Sierra, C., Sonenberg, L., and Tambe, M. (eds.)
-
Boella, G. and van der Torre, L. (2004) Groups as agents with mental attitudes. In: Jennings, N.R., Sierra, C., Sonenberg, L., and Tambe, M. (eds.), Proceedings of the third international joint conference on Autonomous Agents and Multi Agent Systems, AAMAS'04, pp. 964-971.
-
(2004)
Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems, AAMAS'04
, pp. 964-971
-
-
Boella, G.1
Van Der Torre, L.2
-
7
-
-
34250326285
-
A language and environment for analysis of dynamics by simulation
-
Bosse, T., Jonker, C.M., Meij, L. van der, and Treur, J. (2007). A Language and Environment for Analysis of Dynamics by Simulation. International Journal of Artificial Intelligence Tools.
-
(2007)
International Journal of Artificial Intelligence Tools
-
-
Bosse, T.1
Jonker, C.M.2
Van Der Meij, L.3
Treur, J.4
-
8
-
-
84860581664
-
Shorter, earlier version
-
To appear LNAI Springer Verlag, 2005
-
To appear, 2007. Shorter, earlier version in: Eymann, T., Kluegl, F., Lamersdorf, W., Klusch, M., and Huhns, M.N. (eds.), Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. LNAI, vol. 3550. Springer Verlag, 2005, pp. 165-178.
-
(2007)
Proc. of the Third German Conference on Multi-agent System Technologies, MATES'05
, vol.3550
, pp. 165-178
-
-
Eymann, T.1
Kluegl, F.2
Lamersdorf, W.3
Klusch, M.4
Huhns, M.N.5
-
9
-
-
0032131289
-
Modelling social action for AI agents
-
Castelfranchi C. Modelling Social Action for AI Agents. Artificial Intelligence, vol. 103, 1998, pp. 157-182
-
(1998)
Artificial Intelligence
, vol.103
, pp. 157-182
-
-
Castelfranchi, C.1
-
12
-
-
0000931858
-
Reactive reasoning and planning
-
Forbus, K. and Shrobe, H. (eds.) AAAI'87. Menlo Park, California. American Association for Artificial Intelligence, 1987
-
Georgeff, M. P., and Lansky, A. L. (1987). Reactive Reasoning and Planning. In: Forbus, K. and Shrobe, H. (eds.), Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI'87. Menlo Park, California. American Association for Artificial Intelligence, 1987, pp. 677-682.
-
(1987)
Proceedings of the Sixth National Conference on Artificial Intelligence
, pp. 677-682
-
-
Georgeff, M.P.1
Lansky, A.L.2
-
13
-
-
0006389601
-
A rigorous, operational formalization of recursive modeling
-
Lesser, V. (ed.)
-
Gmytrasiewicz P. J. and Durfee. E. H. A rigorous, operational formalization of recursive modeling. In: Lesser, V. (ed.), Proceedings of the First International Conference on Multiagent Systems, pp. 125-132, 1995.
-
(1995)
Proceedings of the First International Conference on Multiagent Systems
, pp. 125-132
-
-
Gmytrasiewicz, P.J.1
Durfee, E.H.2
-
14
-
-
84860579872
-
Reasoning about knowledge
-
1995
-
Halpern, J.Y., Fagin, R., Moses, Y., and Vardi, M. Y. (1995). Reasoning About Knowledge. MIT Press, 1995.
-
(1995)
MIT Press
-
-
Halpern, J.Y.1
Fagin, R.2
Moses, Y.3
Vardi, M.Y.4
-
15
-
-
2442564285
-
A temporal modelling environment for internally grounded beliefs, desires and intentions
-
2003
-
Jonker, C.M., Treur, J., and Wijngaards, W.C.A., (2003). A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions. Cognitive Systems Research Journal, vol. 4(3), 2003, pp. 191-210.
-
(2003)
Cognitive Systems Research Journal
, vol.4
, Issue.3
, pp. 191-210
-
-
Jonker, C.M.1
Treur, J.2
Wijngaards, W.C.A.3
-
16
-
-
24944483338
-
Temporal analysis of the dynamics of beliefs, desires, and intentions
-
2002
-
Jonker, C.M., Treur, J., and Vries, W. de, (2002). Temporal Analysis of the Dynamics of Beliefs, Desires, and Intentions. Cognitive Science Quarterly, vol. 2, 2002, pp.471-494.
-
(2002)
Cognitive Science Quarterly
, vol.2
, pp. 471-494
-
-
Jonker, C.M.1
Treur, J.2
De Vries, W.3
-
18
-
-
33644789530
-
PsychSim: Agent-based modeling of social interaction and influence
-
Lovett, M., Schunn, C.D., Lebiere, C., and Munro, P. (eds. Pittsburg, Pensylvania, USA
-
Marsella, S.C., Pynadath, D.V., and Read, S.J. PsychSim: Agent-based modeling of social interaction and influence. In: Lovett, M., Schunn, C.D., Lebiere, C., and Munro, P. (eds.), Proceedings of the International Conference on Cognitive Modeling, ICCM 2004, pp. 243-248 Pittsburg, Pensylvania, USA.
-
Proceedings of the International Conference on Cognitive Modeling, ICCM 2004
, pp. 243-248
-
-
Marsella, S.C.1
Pynadath, D.V.2
Read, S.J.3
-
20
-
-
0002572155
-
Modelling rational agents within a BDI-architecture
-
Allen, J., Fikes, R. and Sandewall, E. (eds.) Morgan Kaufmann
-
Rao, A.S. and Georgeff, M.P. (1991). Modelling Rational Agents within a BDI-architecture. In: Allen, J., Fikes, R. and Sandewall, E. (eds.), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, (KR'91). Morgan Kaufmann, pp. 473-484.
-
(1991)
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, (KR'91)
, pp. 473-484
-
-
Rao, A.S.1
Georgeff, M.P.2
|