-
2
-
-
0035315652
-
Reasons, robots and the extended mind
-
Clark, A. 2001. Reasons, robots and the extended mind. Mind & Language 16: 121-145.
-
(2001)
Mind & Language
, vol.16
, pp. 121-145
-
-
Clark, A.1
-
3
-
-
62149099213
-
The extended mind
-
Clark, A., and D. Chalmers. 1998. The extended mind. Analysis 58: 7-19.
-
(1998)
Analysis
, vol.58
, pp. 7-19
-
-
Clark, A.1
Chalmers, D.2
-
5
-
-
0000128591
-
On distinguishing epistemic from pragmatic action
-
Kirsh, D., and P. Maglio. 1994. On distinguishing epistemic from pragmatic action. Cognitive Science 18: 513-549.
-
(1994)
Cognitive Science
, vol.18
, pp. 513-549
-
-
Kirsh, D.1
Maglio, P.2
-
7
-
-
26444587049
-
Simulation and analysis of controlled multi-representational reasoning processes
-
Universitäts-Verlag Bamberg
-
Bosse, T., C. M. Jonker, and J. Treur. 2002. Simulation and analysis of controlled multi-representational reasoning processes. In Proceedings of the Fifth International Conference on Cognitive Modelling, ICCM’03, Universitäts-Verlag Bamberg, pp. 27-32.
-
(2002)
Proceedings of the Fifth International Conference on Cognitive Modelling, ICCM’03
, pp. 27-32
-
-
Bosse, T.1
Jonker, C.M.2
Treur, J.3
-
9
-
-
45949129004
-
Random behavior, amplification processes and number of participants: How they contribute to the foraging properties of ants
-
Amsterdam: North Holland
-
Deneubourg, J. L., S. Aron, S. Goss, J. M. Pasteels, and G. Duerinck. 1986. Random behavior, amplification processes and number of participants: How they contribute to the foraging properties of ants. In Evolution, games and learning: Models for adaptation in machines and nature, edited by D. Farmer, A. Lapedes, N. Packard, and B. Wendroff, 176-186. Amsterdam: North Holland.
-
(1986)
Evolution, games and learning: Models for adaptation in machines and nature
, pp. 176-186
-
-
Deneubourg, J.L.1
Aron, S.2
Goss, S.3
Pasteels, J.M.4
Duerinck, G.5
Farmer, D.6
Lapedes, A.7
Packard, N.8
Wendroff, B.9
-
11
-
-
0035994559
-
Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness
-
Jonker, C. M., and J. Treur. 2002. Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. International Journal of Cooperative Information Systems 11: 51-92.
-
(2002)
International Journal of Cooperative Information Systems
, vol.11
, pp. 51-92
-
-
Jonker, C.M.1
Treur, J.2
-
12
-
-
0003607438
-
-
New York: Research Studies Press Ltd. and John Wiley
-
Barringer, H., M. Fisher, D. Gabbay, R. Owens, and M. Reynolds. 1996. The imperative future: Principles of executable temporal logic. New York: Research Studies Press Ltd. and John Wiley.
-
(1996)
The imperative future: Principles of executable temporal logic
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Owens, R.4
Reynolds, M.5
-
13
-
-
0021613150
-
Qualitative process theory
-
Forbus, K. D. 1984. Qualitative process theory. Artificial Intelligence 24 (1-3): 85-168.
-
(1984)
Artificial Intelligence
, vol.24
, Issue.1-3
, pp. 85-168
-
-
Forbus, K.D.1
-
16
-
-
33646028191
-
LEADSTO: A language and environment for analysis of dynamics by simulation
-
Lecture Notes in AI, vol. 3550. New York: Springer-Verlag
-
Bosse, T., C. M. Jonker, L. van der Meij, and J. Treur. 2005. LEADSTO: A language and environment for analysis of dynamics by simulation. In Proceedings of the Third German Conference on Multi-Agent System Technologies, MATES’05, edited by T. Eymann, F. Kluegl, W. Lamersdorf, M. Klusch, and M. N. Huhns, 165-178. Lecture Notes in AI, vol. 3550. New York: Springer-Verlag.
-
(2005)
Proceedings of the Third German Conference on Multi-Agent System Technologies, MATES’05
, pp. 165-178
-
-
Bosse, T.1
Jonker, C.M.2
L. van der Meij3
Treur, J.4
Eymann, T.5
Kluegl, F.6
Lamersdorf, W.7
Klusch, M.8
Huhns, M.N.9
-
20
-
-
1642287715
-
Compositional verification of multi-agent systems in temporal multi-epistemic logic
-
Engelfriet, J., C. M. Jonker, and J. Treur. 2002. Compositional verification of multi-agent systems in temporal multi-epistemic logic. Journal of Logic, Language and Information 11: 195-225.
-
(2002)
Journal of Logic, Language and Information
, vol.11
, pp. 195-225
-
-
Engelfriet, J.1
Jonker, C.M.2
Treur, J.3
|