LEADSTO: A language and environment for analysis of dynamics by simulaTiOn

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3550 LNAI, Issue , 2005, Pages 165-178

  Bosse, Tibor ^a   Jonker, Catholijn M ^b   Van Der Meij, Lourens ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; PROJECT MANAGEMENT;

QUANTITATIVE CONCEPTS; TEMPORAL LANGUAGE; VISUAL REPRESENTATIONS;

COMPUTER SOFTWARE;

EID: 33646028191     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11550648_15     Document Type: Conference Paper

References (11)

1. 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.
2. Bosse, T., Jonker, C.M., Los, S.A., Torre, L. van der, and Treur, J., Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: J.P. Mueller and F. Zambonelli (eds.), Proc. of the Sixth Int. Workshop on Agent-Oriented Software Engineering, AOSE'05. To appear, 2005.
3. Bosse, T., Jonker, C.M., Schut, M.C., and Treur, J, Simulation and Analysis of Shared Extended Mind. In: Davidsson, P., Gasser, L., Logan, B., and Takadama, K. (eds.), Proc. of the First Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation, MAMABS'04, 2004, pp. 191-200.
4. Dierks, H. PLC-automata: A new class of implementable real-time automata. In M. Bertran and T. Rus, editors, Transformation-Based Reactive Systems Development (ARTS'97), volume 1231 of Lecture Notes in Computer Science, pages 111-125. Springer-Verlag, 1997.
5. Forbus, K.D. Qualitative process theory. Artificial Intelligence, vol. 24, no. 1-3, 1984, pp. 85-168.
6. Meyer, J.J.Ch., and Treur, J. (volume eds.), Agent-based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems (D. Gabbay and Ph. Smets, series eds.), vol. 7. Kluwer Academic Publishers, 2002.
7. Moszkowski, B., and Manna, Z. Reasoning in Interval Temporal Logic. In Clarice, E., and Kozen, D., editors, Proceedings of the Workshop on Logics of Programs, volume 164 of LNCS, pages 371-382, Pittsburgh, PA, June 1983. Springer Verlag.
8. Pandya, P.K., Model checking CTL[DC]. In: Proceedings of TACAS 2001, Genova, LNCS 2031, Springer-Verlag, April 2001.
9. Port, R.F., Gelder, T. van (eds.) (1995). Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass.
10. Vliet, H., van. Software Engineering: Principles and Practice. John Wiley & Sons, Ltd, 2000.
11. Zhou, C., Hoare, C.A.R., and Ravn, A.P. A Calculus of Durations, Information Processing Letter, 40, 5, pp. 269-276, 1991.