Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

By: James L. Rash (Editor), Christopher A. Rouff (Editor), Walter Truszkowski (Editor)

Write A Review

Paperback | 10 October 2001

At a Glance

Paperback
384 Pages

Dimensions(cm)
27.94 x 21.59 x 2.01

Paperback

$111.38

or 4 interest-free payments of $27.84 with

or

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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 carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Robotics

Scary Smart : The Future of Artificial Intelligence and How You Can Save Our World - Mo Gawdat

$36.90

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Paperback

RRP $47.50

$25.90

45%
OFF

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Paperback

RRP $22.99

$21.25

Encyclopedia of Electronic Components Volume 2

Paperback

RRP $57.00

$30.50

46%
OFF

Make

Drones

Paperback

RRP $57.00

$30.50

46%
OFF

Mechatronics for Complex Products and Systems : Project-Based Design Approaches for Robots, Cyber-Physical Systems, Digital Twins, and Other Emerging Technologies - Zhuming Bi

$118.80

20%
OFF

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

Verifying Agent's Mental States
Model Checking-Based Analysis of Multiagent Systems	p. 1
Towards Formal Specification and Verification in Cyberspace	p. 16
Verification within the KARO Agent Theory	p. 33
Synthesizing Agents Initially
On Formal Modeling of Agent Computations	p. 48
Modeling and Programming Devices and Web Agents	p. 63
A Programming Logic for Part of the Agent Language 3APL	p. 78
The Nepi² Programming System: A -Calculus-Based Approach to Agent-Based Programming	p. 90
Frameworks and Formalization
From Livingstone to SMV (Formal Verification for Autonomous Spacecrafts)	p. 103
Verification of Plan Models Using UPPAAL	p. 114
Formalization of a Spatialized Multiagent Model Using Coloured í Petri Nets for the Study of an Hunting Management System	p. 123
Formal Agent Development: Framework to System	p. 133
Modeling and Execution
Automatic Synthesis of Agent Designs in UML	p. 148
Direct Execution of Agent Specifications	p. 163
Using the -Calculus to Model Multiagent Systems	p. 164
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude	p. 180
Inter-agent Communication
Agents Talking Faster	p. 194
Refining Interactions in a Distributed System	p. 209
Design and Mathematical Analysis of Agent-Based Systems	p. 222
Modeling Task and Teams through Game Theoretical Agents	p. 235
Web Agents Cooperating Deductively	p. 250
Adaptive Agents
Formal Specification of Agent Behaviour through Environment Scenarios	p. 263
APT Agents: Agents That Are Adaptive, Predictable, and Timely	p. 278
Posters
Ontology Negotiation in a Community of Agents	p. 294
Analysis of Agent-Based Systems Using Decision Procedures	p. 298
A Formal Approach to Belief-Goal-Role Agents	p. 300
Model Checking of Autonomy Models for an In-Situ Propellant Production System	p. 302
Adaptive Supervisory Control of Multi-agent Systems	p. 304
Machine-Learning for Logic-Based Multi-agent Systems	p. 306
Using a Formal Framework for Agent System Design	p. 308
Modeling Agent-Based Systems	p. 318
Modeling Agent Systems by Bayesian Belief Networks	p. 321
The Anthropomorphizing of Intelligent Agents	p. 323
Controlling Multiple Satellite Constellations Using the TeamAgent System	p. 335
Operations Assistants for Johnson Space Center's Mission Control Center	p. 337
A Real Time Object-Oriented Rational Agent Development System	p. 339
Panel Sessions
Empirical versus Formal Methods	p. 345
Future Directions	p. 354
Author Index	p. 369
Table of Contents provided by Publisher. All Rights Reserved.

Formal Approaches to Agent-Based Systems

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Robotics

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

LEGO

Gadgets (Klutz)

The Lego Technic Idea Book

Simple Machines

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Encyclopedia of Electronic Components Volume 2

Make

Drones

Mechatronics for Complex Products and Systems

Project-Based Design Approaches for Robots, Cyber-Physical Systems, Digital Twins, and Other Emerging Technologies

Introduction to Robotics, Global Edition

4th edition

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

Personalising Human-Robot Interactions in Social Contexts

Springer Tracts in Advanced Robotics

A Concise Introduction to Robot Programming with ROS 2

A Concise Introduction to Robot Programming with ROS 2

Robotics

From Theory to Practice

Robotics

From Theory to Practice

Robot Space Explorers

Phase 5 Set 4 Stretch and Challenge

Artificial Intelligence

Humans at the Heart of Algorithms

Artificial Intelligence

Humans at the Heart of Algorithms

Introduction to Digital Human Modeling

Medical Robots and Devices: New Developments and Advances

Autonomous Electric Vehicles

Nonlinear Control, Traction, and Propulsion

Knowledge Graph-Based Methods for Automated Driving

Learning the Art of Electronics

A Hands-On Lab Course

Acting, Planning, and Learning

Smart Applications of Artificial Intelligence and Big Data

This product is categorised by