This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents' mental states, synthesizing agents initially and modelling.

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”.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com