Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5 7, 2000 : revised papers
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were c...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science. Lecture notes in artificial intelligence
1871 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal approaches to agent-based systems, First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000, revised papers, James L. Rash, Christopher A. Rouff, Walter Truszkowski ... [et al.] (eds.), 2001, Berlin, Springer, 1 volume (IX-368 pages), Lecture notes in computer science, 3-540-42716-3 • Formal Approaches to Agent-Based Systems, Texte imprimé, 9783662179260 |
İçindekiler:
- Verifying Agent s Mental States
- Model Checking-Based Analysis of Multiagent Systems
- Towards Formal Specification and Verification in Cyberspace
- Verification within the KARO Agent Theory
- Synthesizing Agents Initially
- On Formal Modeling of Agent Computations
- Modeling and Programming Devices and Web Agents
- A Programming Logic for Part of the Agent Language 3APL
- The Nepi2Programming System: A ?-Calculus-Based Approach to Agent-Based Programming
- Frameworks and Formalization
- From Livingstone to SMV
- Verification of Plan Models Using UPPAAL
- Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System
- Formal Agent Development: Framework to System
- Modeling and Execution
- Automatic Synthesis of Agent Designs in UML
- Direct Execution of Agent Specifications
- Using the ?-Calculus to Model Multiagent Systems
- Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude
- Inter-agent Communication
- Agents Talking Faster
- Refining Interactions in a Distributed System
- Design and Mathematical Analysis of Agent-Based Systems
- Modeling Task and Teams through Game Theoretical Agents
- Web Agents Cooperating Deductively
- Adaptive Agents
- Formal Specification of Agent Behaviour through Environment Scenarios
- APT Agents: Agents That Are Adaptive Predictable and Timely
- Posters
- Ontology Negotiation in a Community of Agents
- Analysis of Agent-Based Systems Using Decision Procedures
- A Formal Approach to Belief-Goal-Role Agents
- Model Checking of Autonomy Models for an In-Situ Propellant Production System
- Adaptive Supervisory Control of Multi-agent Systems
- Machine Learning for Logic-Based Multi-agent Systems
- Using a Formal Framework for Agent System Design
- ModelingAgent-Based Systems
- Modeling Agent Systems by Bayesian Belief Networks
- The Anthropomorphizing of Intelligent Agents
- Controlling Multiple Satellite Constellations Using the TEAMAgent System
- Operations Assistants for Johnson Space Center s Mission Control Center
- A Real Time Object-Oriented Rational Agent Development System
- Panel Sessions
- Panel Discussion: Empirical Versus Formal Methods
- Panel Discussion: Future Directions .