-
1
-
-
0035313509
-
Discerning intentions in dynamic human action
-
Baldwin D.A. Baird J.A. Discerning intentions in dynamic human action Trends in Cognitive Science 54 2001 171-178
-
(2001)
Trends in Cognitive Science
, vol.5
, Issue.4
, pp. 171-178
-
-
Baldwin, D.A.1
Baird, J.A.2
-
2
-
-
0003607438
-
The imperative future: Principles of executable temporal logic
-
Research Studies Press Ltd. and John Wiley - Sons
-
Barringer H. Fisher M. Gabbay D. Owens R. Reynolds M. The imperative future: principles of executable temporal logic 1996 Research Studies Press Ltd. and John Wiley - Sons
-
(1996)
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Owens, R.4
Reynolds, M.5
-
5
-
-
0000705584
-
Fourteen- through 18-month-old infants differentially imitate intentional and accidental actions
-
Carpenter M. Akhtar N. Tomasello M. Fourteen- through 18-month-old infants differentially imitate intentional and accidental actions Infant Behavior and Development 212 1998 315-330
-
(1998)
Infant Behavior and Development
, vol.21
, Issue.2
, pp. 315-330
-
-
Carpenter, M.1
Akhtar, N.2
Tomasello, M.3
-
6
-
-
24444476001
-
Representation and the meaning of life
-
H. Clapin P. Staines - P. Slezak (Eds.), Proc. of the Int. Conference on Representation in Mind: New Theories of Mental Representation, 27-29th June. University of Sydney. To be published by Elsevier
-
Christensen, W. D., & Hooker, C. A. (2000). Representation and the meaning of life. In: H. Clapin, P. Staines, - P. Slezak (Eds.), Proc. of the Int. Conference on Representation in Mind: New Theories of Mental Representation, 27-29th June. University of Sydney. To be published by Elsevier.
-
(2000)
-
-
Christensen, W.D.1
Hooker, C.A.2
-
9
-
-
0030393604
-
Formal Refinement Patterns for Goal-Driven Requirements Elaboration
-
Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4)
-
Darimont R. van Lamsweerde A. Formal Refinement Patterns for Goal-Driven Requirements Elaboration Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4) 1996 179-190
-
(1996)
, pp. 179-190
-
-
Darimont, R.1
van Lamsweerde, A.2
-
12
-
-
30144446275
-
From Early to Late Formal Requirements
-
Proc. IWSSD'98: IEEE Computer Society Press
-
Dubois E.Yu E. Petit M. From Early to Late Formal Requirements Proc. IWSSD'98 1998 IEEE Computer Society Press
-
(1998)
-
-
Dubois, E.1
Yu, E.2
Petit, M.3
-
14
-
-
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. (1994). 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, pp. 480-505.
-
(1994)
Lecture Notes in AI
, vol.827
, pp. 480-505
-
-
Fisher, M.1
-
17
-
-
2442480908
-
BDI-Modelling of intracellular dynamics
-
A. B. Williams, - K. Decker (Eds.), BIXMAS'02, 2002 Extended abstract in: C. Castelfranchi, - W. L. Johnson (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS.02. ACM Press, pp. 465-466
-
Jonker, C. M., Snoep, J. L., Treur, J., Westerhoff, H. V., - Wijngaards, W. C. A. (2002b). BDI-Modelling of intracellular dynamics. In: A. B. Williams, - K. Decker (Eds.), Proc. of the First International Workshop on Bioinformatics and Multi-Agent Systems, BIXMAS'02, 2002, pp. 15-23. Extended abstract in: C. Castelfranchi, - W. L. Johnson (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS.02. ACM Press, pp. 465-466.
-
(2002)
Proc. of the First International Workshop on Bioinformatics and Multi-Agent Systems
, pp. 15-23
-
-
Jonker, C.M.1
Snoep, J.L.2
Treur, J.3
Westerhoff, H.V.4
Wijngaards, W.C.A.5
-
18
-
-
2442519504
-
Temporal requirements for anticipatory reasoning about intentional dynamics in social contexts
-
Y. Demazeau, - F. Garijo (Eds.), Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01. Extended version in: Cognitive Science Quarterly (Special Issue on Desires, Goals, Intentions, and Values: Computational Architectures)
-
Jonker, C. M., Treur, J., & Vries, W. de (2001). Temporal requirements for anticipatory reasoning about intentional dynamics in social contexts. In: Y. Demazeau, - F. Garijo (Eds.), Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01. Extended version in: Cognitive Science Quarterly (Special Issue on Desires, Goals, Intentions, and Values: Computational Architectures), Vol. 2, pp. 471-494.
-
(2001)
Multi-Agent System Organisations
, vol.2
, pp. 471-494
-
-
Jonker, C.M.1
Treur, J.2
de Vries, W.3
-
20
-
-
0003672012
-
Mind in a physical world: An essay on the mind-body problem and mental causation
-
Cambridge, MA: MIT Press
-
Kim J. Mind in a physical world: an essay on the mind-body problem and mental causation 1998 MIT Press Cambridge, MA
-
(1998)
-
-
Kim, J.1
-
21
-
-
84957630429
-
How to motivate your agents: On making promises that you can keep
-
M. J. Wooldridge, J. Müller, - M. Tambe (Eds.), Intelligent Agents II. Proc. ATAL'95 Springer Verlag, Berlin
-
Linder, B. van, Hoek, W. van der, - Meyer, J.-J. Ch. (1996). How to motivate your agents: on making promises that you can keep. In: M. J. Wooldridge, J. Müller, - M. Tambe (Eds.), Intelligent Agents II. Proc. ATAL'95 (pp. 17-32). Lecture Notes in AI, Vol. 1037, Springer Verlag, Berlin.
-
(1996)
Lecture Notes in AI
, vol.1037
, pp. 17-32
-
-
Linder, B.1
van Hoek, W.2
van der Meyer, J.-J.Ch.3
|