KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Approaches to Agent-Based Systems
  • Produktbild: Formal Approaches to Agent-Based Systems
Band 2699

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.07.2003

Abbildungen

VIII, 295 p.

Herausgeber

Michael G. Hinchey + weitere

Verlag

Springer Berlin

Seitenzahl

295

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

476 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40665-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.07.2003

Abbildungen

VIII, 295 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

295

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

476 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40665-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Approaches to Agent-Based Systems
  • Produktbild: Formal Approaches to Agent-Based Systems
  • “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 FormalMethods 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.