Főoldal|Keresés|Oldaltérkép
Hírek|Konferenciák|Publikációk|Források|Linkek
Agent Portál a jövő információtechnológiájáról az AITIA International Zrt szerkesztésében az NHIT együttműködésével
Ember-Számítógép Interakció
Mik azok az ágensek?
Intelligencia és mesterséges intelligencia
Ágens architektúrák
Formális és szimbolikus modellezés
Multi-ágens rendszerek
Szimuláció és modellezés
Szoftvertechnológia és mobil ágensek
Ágens alkalmazások
 > Főoldal >  Publikációk  >  Formális és szimbolikus modellezés  > 
The logical modelling of computational multi-agent systems
M. Wooldridge
Doktori disszertáció, University of Manchester, Institute of Science and Technology, Manchester, UK, 1992.

Logical foundations of agent-based computing
W. van der Hoek
In Mutli-agents systems and applications. New York, USA, Springer Verlag, 2001.

Modality, si! Modal logic, no!
J. McCarthy
Studia Logica 59: 29-32, 1997.

Executable temporal logic for distributed AI
M. Fisher, M. Wooldridge
K. Sycara (szerk.): Proceedings of the Twelfth International Workshop on Distributed Artificial Intelligence (IWDAI-93), 131-142. o., Hidden Valley, Pennsylvania, USA, 1993.

Temporal belief logics for modelling distributed AI systems
M. Wooldridge
M. P. O'Hare, N. R. Jennings (szerk.): Foundations of DAI, Wiley Interscience, 1994.

Formal agent development: Framework to system
M. P. d'Inverno, M. Luck
In Rash, J. L., Rouff, C. A., Truszkowski, W., Gordon, D., Hinchey, M. G. (eds.): Formal approaches to agent-based systems: First international workshop (FAABS 2000): pp 133-147. Berlin, Germany, Springer Verlag, 2001.

Formalisms for multi-agent systems
M. d'Inverno, M. Fisher, A. R. Lomuscio, M. Luck, M. d. Rijke, M. Pyan, M. Wooldridge
The Knowledge Engineering Review 12(3), 1997.

Formal specification and prototyping of multi-agent systems
V. Hilaire, A. Koukam, P. Gruer, J.-P. Müller
Lecture Notes in Computer Science 1972:114-227, 2001.

Logical agents
S. J. Russell, P. Norvig
Artificial intelligence: A modern approach, Chapter 7. Prentice Hall, 1995.

A conceptual framework for agent definition and development
M. Luck, M. P. d'Inverno
The Computer Journal 44(2):1-20, 2001.

Development and application of a formal agent framework
M. P. d'Inverno, M. Luck
In Hinchey, M. G., Liu, S. (Eds.): Formal Engineering Methods: Proceedings of the 1st International Conference on Formal Engineering Methods (ICFEM'97): pp 222-231. Hiroshima, Japan, IEEE Computer Society Press, 1997.

Agents in logic programming
J. A. D. Quintero
PhD thesis, Department of Computing, Imperial College, London University, London, UK, 1997.

A logic of capabilities
W. van der Hoek, B. van Linder, J.-J. C. Meyer
In Nerode, A., Matiyasevich, Y. (eds.): Proceedings of the 3rd International Symposium on Logical Foundations of Computer Science (LFCS'94): pp 366-378. St. Petersburg, Russia, Springer Verlag, 1993.

An integrated modal approach to rational agents
W. van der Hoek, B. van Linder, J.-J. C. Meyer
In Wooldridge, M., Rao, A. (eds.): Foundations of rational agency: pp 299, Kluwer Academic Publishers, 1997.

Principles of metareasoning
S. J. Russell, E. Wefald
Articial Intelligence 49(1-3):361-395, 1991.

Provably bounded optimal agents
J. Russell, D. Subramanian, R. Parr
In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93): pp 338-344. Chambéry, France, Morgan Kaufmann Publishers Inc., 1993.

Rational teams: Logical aspects of multi-agent systems
H. Aldewereld, W. van der Hoek, J.-J. Ch. Meyer
In Dunin-Keplicz, B., Verbrugge, R. (eds.): Proceedings of the Formal Approaches to Multi-Agent Systems. Warsaw, Poland, 2003.

A logical approach to the dynamics of commitments
J.-J. Ch. Meyer, W. van der Hoek, B. van Linder
Artificial Intelligence 113(1-2):1-40, 1999.

Actions that make you change your mind - Belief revision in an agent-oriented setting
B. van Linder, W. van der Hoek, J.-J. Ch. Meyer
Technical report, UU-CS-1994-53, Utrecht University, Computer Science Department, Utrecht, The Netherlands, 1994.

MetateM at work: Modelling reactive systems using executable temporal logic
M. Finger, M. Fisher, R. Owens
In Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Vol. I. Edinburgh, Scotland, 1993.

Feliratkozás
hírlevélre

Feliratkozás az Rss csatornára RSS
Hajrá Peti!
Jogvédelem|Oldaltérkép|Impresszum