Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Approaches to Agent-Based Systems [[electronic resource] ] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears
| Formal Approaches to Agent-Based Systems [[electronic resource] ] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 295 p.) |
| Disciplina | 629.8028563 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Software engineering Computer logic Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-45133-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | “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. |
| Record Nr. | UNISA-996466029003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears
| Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 295 p.) |
| Disciplina | 629.8028563 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer networks Computers, Special purpose Software engineering Computer logic Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-45133-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | “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. |
| Record Nr. | UNINA-9910143856203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||