Agent Technology from a Formal Perspective
Main Author: | Rouff, Christopher A. |
---|---|
Other Authors: | Hinchey, Michael, Rash, James, Truszkowski, Walter, Gordon-Spears, Diana |
Format: | Electronic Kit Book |
Language: | English |
Published: |
London
Springer-Verlag London Limited
2006
|
Series: | NASA Monographs in Systems and Software Engineering
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/1-84628-271-3 |
Similar Items
-
Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology
by: Lee, Raymond S. T.
Published: (2006) -
Logical Tools for Handling Change in Agent-Based Systems
by: Gabbay, Dov M., 1945-
Published: (2010) -
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
by: Platzer, AndrΓ©
Published: (2010) -
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
by: Dovier, Agostino
Published: (2010) -
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
by: Dix, JΓΌrgen
Published: (2010)