Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Approaches to Agent-Based Systems

  • E-Book (pdf)
  • 295 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt "What Is an Agent and Why Should I Care?".- "What Is an Agent and Why Should I Care?".- Organising Logic-Based Agents.- A S... Weiterlesen
CHF 93.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

"What Is an Agent and Why Should I Care?".- "What Is an Agent and Why Should I Care?".- Organising Logic-Based Agents.- A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior.- Formal Specification of Interaction in Agent Societies.- Formal Verification for a Next-Generation Space Shuttle.- Automated Protocol Analysis in Maude.- Towards Interaction Protocol Operations for Large Multi-agent Systems.- Formal Modeling and Supervisory Control of Reconfigurable Robot Teams.- Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models.- Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results.- Verifiable Middleware for Secure Agent Interoperability.- Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators.- Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.- Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.- A Model for Conformance Testing of Mobile Agents in a MASIF Framework.- Analysis of a Phase Transition in a Physics-Based Multiagent System.- You Seem Friendly, But Can I Trust You?.- Taking Intelligent Agents to the Battlefield.- Panel Session on "Applications".- Naval Applications of Secure Multi-agent Technology.- Challenges Arising from Applications.- Applications Panel: Agents Applied to Autonomous Vehicles.- Using XML for Interprocess Communications in a Space Situational Awareness and Control Application.- Panel Session on "Asimov's Laws".- Asimov's Laws: Current Progress.- Asimov's Laws.- On Laws of Robotics.- Panel Session on "Tools and Education".- Challenges Arising from Applications of Agent-Based System.- Tools and Education towards Formal Methods Practice.- Poster Presentations.- Evaluating Agent-Based Modeling as a Tool for Economists.- Modeling Traffic Control through Deterrent Agents.- Towards a Formal Representation of Driving Behaviors.- Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System.- Agent Programming in Dribble: From Beliefs to Goals with Plans.

Produktinformationen

Titel: Formal Approaches to Agent-Based Systems
Untertitel: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Editor:
EAN: 9783540451334
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 24.10.2003
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 295

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"