Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Logical Foundations of Agent-Based Computing

Logical Foundations of Agent-Based Computing

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2086/2001
BookMulti-Agent Systems and Applications
DOI10.1007/3-540-47745-4
Copyright2001
ISBN978-3-540-42312-6
DOI10.1007/3-540-47745-4_3
Pages50-73
Subject CollectionComputer Science
SpringerLink DateMonday, January 01, 2001
Add to marked items

Logical Foundations of Agent-Based Computing

Wiebe van der Hoek5, 6 Contact Information

(5)  Institute of Information and Computing Sciences Department of Philosophy, Utrecht University, 80.089 3508, TB, Utrecht, The Netherlands
(6)  Department of Computer Science, The University of Liverpool, UK
Abstract
Logics for agents are useful when specifying, implementing and verifying agent programs.W e show that modal logic provides a nice tool to define informational, motivational and dynamic aspects of agents. We conclude by showing how an agent programming language can also benefit from this modal approach.

Contact Information Wiebe van der Hoek
Email: wiebe@cs.uu.nl
URL: http://www.cs.uu.nl/~wiebe
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.107 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)