Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Approaches to Agent-Based Systems
  • Produktbild: Formal Approaches to Agent-Based Systems

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 Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.07.2003

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

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 KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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