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] ] : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / / edited by James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey
| Formal Approaches to Agent-Based Systems [[electronic resource] ] : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / / edited by James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 374 p.) |
| Disciplina | 629.8/0285/63 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Architecture, Computer Software engineering Computer logic Mathematical logic Artificial Intelligence Computer System Implementation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN | 3-540-45484-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verifying Agent’s Mental States -- Model Checking-Based Analysis of Multiagent Systems -- Towards Formal Specification and Verification in Cyberspace -- Verification within the KARO Agent Theory -- Synthesizing Agents Initially -- On Formal Modeling of Agent Computations -- Modeling and Programming Devices and Web Agents -- A Programming Logic for Part of the Agent Language 3APL -- The Nepi2Programming System: A ?-Calculus-Based Approach to Agent-Based Programming -- Frameworks and Formalization -- From Livingstone to SMV -- Verification of Plan Models Using UPPAAL -- Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System -- Formal Agent Development: Framework to System -- Modeling and Execution -- Automatic Synthesis of Agent Designs in UML -- Direct Execution of Agent Specifications -- Using the ?-Calculus to Model Multiagent Systems -- Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude -- Inter-agent Communication -- Agents Talking Faster -- Refining Interactions in a Distributed System -- Design and Mathematical Analysis of Agent-Based Systems -- Modeling Task and Teams through Game Theoretical Agents -- Web Agents Cooperating Deductively -- Adaptive Agents -- Formal Specification of Agent Behaviour through Environment Scenarios -- APT Agents: Agents That Are Adaptive Predictable and Timely -- Posters -- Ontology Negotiation in a Community of Agents -- Analysis of Agent-Based Systems Using Decision Procedures -- A Formal Approach to Belief-Goal-Role Agents -- Model Checking of Autonomy Models for an In-Situ Propellant Production System -- Adaptive Supervisory Control of Multi-agent Systems -- Machine Learning for Logic-Based Multi-agent Systems -- Using a Formal Framework for Agent System Design -- Modeling Agent-Based Systems -- Modeling Agent Systems by Bayesian Belief Networks -- The Anthropomorphizing of Intelligent Agents -- Controlling Multiple Satellite Constellations Using the TEAMAgent System -- Operations Assistants for Johnson Space Center’s Mission Control Center -- A Real Time Object-Oriented Rational Agent Development System -- Panel Sessions -- Panel Discussion: “Empirical Versus Formal Methods” -- Panel Discussion: “Future Directions”. |
| Record Nr. | UNISA-996465425903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / / edited by James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey
| Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / / edited by James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 374 p.) |
| Disciplina | 629.8/0285/63 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Architecture, Computer Software engineering Computer logic Mathematical logic Artificial Intelligence Computer System Implementation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN | 3-540-45484-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verifying Agent’s Mental States -- Model Checking-Based Analysis of Multiagent Systems -- Towards Formal Specification and Verification in Cyberspace -- Verification within the KARO Agent Theory -- Synthesizing Agents Initially -- On Formal Modeling of Agent Computations -- Modeling and Programming Devices and Web Agents -- A Programming Logic for Part of the Agent Language 3APL -- The Nepi2Programming System: A ?-Calculus-Based Approach to Agent-Based Programming -- Frameworks and Formalization -- From Livingstone to SMV -- Verification of Plan Models Using UPPAAL -- Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System -- Formal Agent Development: Framework to System -- Modeling and Execution -- Automatic Synthesis of Agent Designs in UML -- Direct Execution of Agent Specifications -- Using the ?-Calculus to Model Multiagent Systems -- Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude -- Inter-agent Communication -- Agents Talking Faster -- Refining Interactions in a Distributed System -- Design and Mathematical Analysis of Agent-Based Systems -- Modeling Task and Teams through Game Theoretical Agents -- Web Agents Cooperating Deductively -- Adaptive Agents -- Formal Specification of Agent Behaviour through Environment Scenarios -- APT Agents: Agents That Are Adaptive Predictable and Timely -- Posters -- Ontology Negotiation in a Community of Agents -- Analysis of Agent-Based Systems Using Decision Procedures -- A Formal Approach to Belief-Goal-Role Agents -- Model Checking of Autonomy Models for an In-Situ Propellant Production System -- Adaptive Supervisory Control of Multi-agent Systems -- Machine Learning for Logic-Based Multi-agent Systems -- Using a Formal Framework for Agent System Design -- Modeling Agent-Based Systems -- Modeling Agent Systems by Bayesian Belief Networks -- The Anthropomorphizing of Intelligent Agents -- Controlling Multiple Satellite Constellations Using the TEAMAgent System -- Operations Assistants for Johnson Space Center’s Mission Control Center -- A Real Time Object-Oriented Rational Agent Development System -- Panel Sessions -- Panel Discussion: “Empirical Versus Formal Methods” -- Panel Discussion: “Future Directions”. |
| Record Nr. | UNINA-9910143625103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reference model for DBMS standardization : database architecture framework task group (DAFTG) of the ANSI/X3/SPARC database system study group / / Thomas Burns; Elizabeth Fong; David Jefferson; Richard Knox; Leo Mark; Christopher Ready; Louis Reich; Nick Roussopoulos; Walter Truszkowski
| Reference model for DBMS standardization : database architecture framework task group (DAFTG) of the ANSI/X3/SPARC database system study group / / Thomas Burns; Elizabeth Fong; David Jefferson; Richard Knox; Leo Mark; Christopher Ready; Louis Reich; Nick Roussopoulos; Walter Truszkowski |
| Autore | Burns Thomas |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1985 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
BurnsThomas
FongElizabeth JeffersonDavid KnoxRichard MarkLeo ReadyChristopher ReichLouis RoussopoulosNick TruszkowskiWalter |
| Collana | NBSIR |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Reference model for DBMS standardization |
| Record Nr. | UNINA-9910710564903321 |
Burns Thomas
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||