ISBN: 9783540451334
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540451334
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2003, ISBN: 9783540451334
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelb… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2003, ISBN: 9783540451334
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers - neues Buch
2002, ISBN: 9783540451334
; PDF; Scientific, Technical and Medical, Springer Berlin Heidelberg
hive.co.uk No. 9783540451334. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783540451334
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation… Mehr…
ISBN: 9783540451334
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation… Mehr…
2003
ISBN: 9783540451334
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelb… Mehr…
2003, ISBN: 9783540451334
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Approaches to Agent-Based Systems
EAN (ISBN-13): 9783540451334
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-05-10T02:59:49+02:00 (Zurich)
Detailseite zuletzt geändert am 2022-07-11T16:39:33+02:00 (Zurich)
ISBN/EAN: 9783540451334
ISBN - alternative Schreibweisen:
978-3-540-45133-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: christopher james, michael gordon, diana michael, michael walter, christen, christo
Daten vom Verlag:
Autor/in: Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher Rouff; Diana Gordon-Spears
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Formal Approaches to Agent-Based Systems - Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Verlag: Springer; Springer Berlin
295 Seiten
Erscheinungsjahr: 2003-10-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 295 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automat; XML; autonom; autonomous agents; communication; formal specification; formal verification; verification; C; Artificial Intelligence; Humanities and Social Sciences; Computer Communication Networks; Special Purpose and Application-Based Systems; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Science; Interdisziplinäre Studien; Netzwerk-Hardware; Wissensbasierte Systeme, Expertensysteme; Software Engineering; Theoretische Informatik; BC
“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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540309604 Formal Approaches to Agent-Based Systems (Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher A. Rouff)
- 9783540309604 Formal Approaches to Agent-Based Systems (Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher A. Rouff)
- 9783540244226 Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers Michael (Michael G. Hinchey#James L. Rash#Walter F. Truszkowski#Christopher A. Rouff)
- 9783540406655 Formal Approaches to Agent-Based Systems (Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher Rouff; Diana Gordon-Spears)
- 9783540427162 Formal Approaches to Agent-Based Systems (Rash, James L.|Rouff, Christopher A.|Truszkowski, Walter|Gordon, Diana|Hinchey, Michael G.)
< zum Archiv...