Probabilistic behaviours of reactive agents

Electronic Notes in Theoretical Computer Science

Volumn 48, Issue , 2001, Pages 227-252

  Brogi, Antonio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; FORMAL LOGIC; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; PROBLEM SOLVING; SEMANTICS; SOFTWARE AGENTS;

DYNAMIC BEHAVIOR; LOGIC-BASED FORMALIZATION; PROBABILISTIC BEHAVIOR; REACTIVE AGENTS;

PROBABILISTIC LOGICS;

EID: 19144370031     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00159-8     Document Type: Conference Paper

References (17)

1. Abramsky S., Semantics of Interaction: an Introduction to Game Semantics, in: P. Dybjer and A. Pitts, editors, Proceedings of the CLiCS 96 Summer School (1997), pp. 1-31.
2. Alferes J., Leite J., Pereira L., Przymusinska H., Przymusinski T. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming. 45:(1-3):2000;43-70
3. Apt K.R. Logic programming. van Leeuwen J. Handbook of Theoretical Computer Science. 1990;493-574. vol. B
4. Brogi A., S. Contiero and F. Turini, On the interplay between reactivity and rationality in multi-agent systems, Technical report, Department of Computer Science, University of Pisa (2001).
5. Bugliesi M., Lamma E., Mello P. Modularity in Logic Programming. Journal of Logic Programming. 19-20:1992;443-502
6. Ciampolini A., E. Lamma, P. Mello and P. Torroni, Expressing collaborative and competitive coordination among abductive logic agents, in: F. Sadri and K. Satoh, editors, Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), 2000, pp. 35-43.
7. Dell'Acqua P., Sadri F., Toni F. Combining introspection and communication with rationality and reactivity in agents. Dix J., del Cerro L.F., Furbach U. Logics in Artificial Intelligence, European Workshop, JELIA '98, LNCS 1489. 1998;17-32
8. Dix J., Kraus S., Subrahmanian V. Temporal Agent Reasoning. Artificial Intelligence. 127:2001;87-135
9. Hughes G., Cresswell M. A New Introduction to Modal Logic. 1996;RoutLedge
10. Kakas A., Kowalski R., Toni F. Abductive logic programming. Journal of Logic and Computation. 2:(6):1992;719-770
11. Kowalski R., Sadri F. Towards a Unified Agent Architecture that Combines Rationality and Reactivity. Zaniolo C., Pedreschi D. Logic in Databases. 1996;137-150
12. Leite, J. A., J. J. Alferes and L. M. Pereira, Multi-dimensional dynamic logic programming, in: F. Sadri and K. Satoh, editors, Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), 2000, pp. 17-26.
13. Letichevsky A., Gilbert D. A general theory of action languages. Cybernetics and System Analysis. 1:1998;16-37
14. Sadri F. and F. Toni, Computational logic and multi-agent systems: a roadmap (1999). URL http://www.compulog.org
15. Satoh K., K. Inoue, K. Iwanuma and C. Sakama, Speculative computation by abduction under incomplete communication environments, in: Proceedings of the Fourth International Conference on Multi-Agent Systems, 2000, pp. 263-270.
16. Subrahmanian V., Bonatti P., Dix J., Eiter T., Ozcan S.K.F., Ross R. Heterogeneous agent systems. 2000;MIT Press
17. Zaniolo C., Ceri S., Faloustos C., Snodgrass R., Subrahmanian V., Zicari R. Advanced Database Systems. 1997;Morgan Kaufmann