Formal Approaches to Agent-Based Systems by Michael G Hinchey
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration.-
Computational Logic in Multi-Agent Systems
-
The Design of Intelligent Agents
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Computational and Corpus-Based Phraseology
-
Argumentation in Multi-Agent Systems
-
New Frontiers in Applied Data Mining
-
Automated Deduction in Geometry
-
Automated Reasoning with Analytic Tableaux and Related Methods
-
Machine Learning and Knowledge Discovery in Databases
-
Agent and Multi-Agent Systems: Technologies and Applications
-
Modeling Decisions for Artificial Intelligence
-
Explainable, Transparent Autonomous Agents and Multi-Agent Systems
-
Scalable Uncertainty Management
-
Artificial Intelligence in Education
-
Natural Language Processing and Chinese Computing
-
Artificial Intelligence in Medicine
-
Foundations of Intelligent Systems
-
Trends and Applications in Knowledge Discovery and Data Mining
-
Biomimetic and Biohybrid Systems
-
Engineering Psychology and Cognitive Ergonomics
-
Theory and Applications of Formal Argumentation
-
Towards Autonomous Robotic Systems
-
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection
-
Chinese Lexical Semantics
-
Intelligent Information and Database Systems
-
Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems
-
Advances in Knowledge Discovery and Data Mining
-
Advances in Artificial Intelligence
-
Artificial Intelligence
-
Case-Based Reasoning Research and Development
-
Artificial Intelligence and Soft Computing
-
Intelligent Systems
-
Advances in Nonlinear Speech Processing
-
AI 2024: Advances in Artificial Intelligence
-
Automata for Branching and Layered Temporal Structures
-
Integrated Uncertainty in Knowledge Modelling and Decision Making
-
Applications of Declarative Programming and Knowledge Management
-
Advances in Knowledge Discovery and Data Mining, Part II
-
The Multi-Agent Programming Contest 2019
-
Formal Concept Analysis
| SKU | Unavailable |
| ISBN 13 | 9783540406655 |
| ISBN 10 | 3540406654 |
| Title | Formal Approaches to Agent-Based Systems |
| Author | Michael G Hinchey |
| Series | Lecture Notes In Artificial Intelligence |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2003-07-29 |
| Number of pages | 295 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |