Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008872306/catalog> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- catalog abstract "This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.".
- catalog contributor b12452428.
- catalog contributor b12452429.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti and F. Giunchiglia -- Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz, W. Penczek and T. Nowak -- Verification within the KARO Agent Theory / U. Hustadt, C. Dixon and R.A. Schmidt / [and others] -- On Formal Modeling of Agent Computations / T. Araragi, P. Attie and I. Keidar / [et al.] -- Modeling and Programming Devices and Web Agents / S.A. McIlraith -- A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks, F.S. de Boer and W. van der Hoek / [et al.] -- The Nepi[superscript 2] Programming System: A [pi]-Calculus-Based Approach to Agent-Based Programming / Y. Kawabe, K. Mano and K. Kogure.".
- catalog description "This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.".
- catalog extent "ix, 368 p. :".
- catalog identifier "3540427163 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1871. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1871.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "629.8/0285/63 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer Communication Networks.".
- catalog subject "Computer science.".
- catalog subject "Intelligent control systems Congresses.".
- catalog subject "Intelligent control systems.".
- catalog subject "Logic design.".
- catalog subject "Software engineering Congresses.".
- catalog subject "Software engineering.".
- catalog subject "TJ217.5 .F33 2000".
- catalog tableOfContents "Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti and F. Giunchiglia -- Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz, W. Penczek and T. Nowak -- Verification within the KARO Agent Theory / U. Hustadt, C. Dixon and R.A. Schmidt / [and others] -- On Formal Modeling of Agent Computations / T. Araragi, P. Attie and I. Keidar / [et al.] -- Modeling and Programming Devices and Web Agents / S.A. McIlraith -- A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks, F.S. de Boer and W. van der Hoek / [et al.] -- The Nepi[superscript 2] Programming System: A [pi]-Calculus-Based Approach to Agent-Based Programming / Y. Kawabe, K. Mano and K. Kogure.".
- catalog title "Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers / James L. Rash ... [et al.] (eds.)".
- catalog type "Conference proceedings. fast".
- catalog type "Greenbelt (Md., 2000) swd".
- catalog type "text".