Formal modeling of dynamic environments for real-time agents

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2691, Issue , 2003, Pages 475-484

  Rebollo, Miguel ^a   Botti, Vicente ^a   Onaindía, Eva ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION ANALYSIS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS;

AGENT TECHNOLOGY; DYNAMIC ENVIRONMENTS; REAL TIME AGENTS; TIME RESPONSE; AGENT ARCHITECTURES; AGENT-BASED SYSTEMS; FORMAL MODEL; FORMAL VALIDATION; FORMALISATION;

REAL TIME SYSTEMS; MULTI AGENT SYSTEMS;

EID: 8344277446     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-45023-8_46     Document Type: Conference Paper

References (11)

1. Martín Abadi, B. Alpern, K.R. Apt, N. Francez, S. Katz, L. Lamport, and F.B. Scheider. Preserving liveness: Comments on "safety and liveness from a methodological point of view". Information Processing Letters, 40(3): 141-142, 1991.
2. Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21(4):181-185, 1985.
3. R. Alur and T.A. Henzinger. Logics and Models of Real-Time: A Survey. In Real Time: Theory in Practice, volume 600, pages 74-106. Springer-Verlag, 1991.
4. E. Emerson. Temporal and Modal Logic, volume B of Handbook of Theoretical Computer Science. Elsevier Science, 1990.
5. E. Emerson. Automated temporal reasoning about reactive systems. In Banff Higher Order Workshop, pages 41-101, 1995.
6. E. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. Real-Time Systems, (4):331-352, 1992.
7. E. Emerson and R.J. Treffler. Parametric quantitative temporal reasoning.
8. M. Georgeff and Rao A. Modeling Rational Agents within a BDI-Architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, San Mateo, CA, 1991. Morgan Kaufmann.
9. A. Pnueli. The temporal logic of programs. In Proc. of Eighteen Symposium on the Foundations of Computer Science, 1977.
10. M. Wooldridge. Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems. In G. M. P. O'Hare and N. R. Jennings, editors, Foundations of Distributed Artificial Intelligence. John Wiley & Sons, 1995.
11. M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception and Knowledge. Journal of the IGPL, 9(2):273-288, 2001.