E-Books durchsuchen

Formal Approaches to Agent-Based Systems [2004]

1
Ecology Based Decentralized Agent Management System
12
From Abstract to Concrete Norms in Agent Institutions
30
Meeting the Deadline: Why, When and How
41
Multi-agent Systems Reliability, Fuzziness, and Deterrence
57
Formalism Challenges of the Cougaar Model Driven Architecture
72
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems
92
Using Ontologies to Formalize Services Specifications in Multi-agent Systems
111
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance
131
A Formal Analysis of Potential Energy in a Multi-agent System
146
Agent-Based Chemical Plume Tracing Using Fluid Dynamics
161
Towards Timed Automata and Multi-agent Systems
173
An Approach to V&V of Embedded Adaptive Systems
189
Verifying Multi-agent Systems via Unbounded Model Checking
213
Towards Symbolic Model Checking for Multi-agent Systems via <Emphasis Type="SmallCaps">obdd</Emphasis>’s
222
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
238
F-OWL: An Inference Engine for Semantic Web
249
Model-Driven Architecture for Agent-Based Systems
262
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?
271
Petri Nets as Modeling Tool for Emergent Agents
275
Massive Multi-agent systems control
281
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)
287
Interaction and Communication of Agents in Networks and Language Complexity Estimates
Feedback