Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers / Michael G. Hinchey [and others] (eds.)
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Other title: | FAABS 2004. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2005.
|
| Series: | Lecture notes in computer science ;
3228. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000ui 4500 | ||
|---|---|---|---|
| 001 | b8034265 | ||
| 003 | CoU | ||
| 005 | 20160219061629.1 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 050307s2005 gw a ob 101 0 eng d | ||
| 010 | |a 2004117653 | ||
| 019 | |a 456737701 | ||
| 020 | |a 3540244220 | ||
| 020 | |a 9783540244226 | ||
| 035 | |a (OCoLC)spr58391375 | ||
| 035 | |a (OCoLC)58391375 |z (OCoLC)456737701 | ||
| 037 | |a spr10.1007/b105317 |z Connect to online resource | ||
| 040 | |a CUI |b eng |c CUI |d C$Q |d OCL |d DLC |d IXA |d BAKER |d YDXCP |d LVB |d BTCTA |d UQ1 |d OCLCG |d DEBBG |d UWW |d GW5XE |d E7B |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d QE2 |d SLY |d OCL |d OCLCO | ||
| 049 | |a GWRE | ||
| 050 | 0 | 0 | |a TJ217.5 |b .F33 2004 |
| 055 | 3 | |a QA75 |b .L38 no.3228 | |
| 111 | 2 | |a FAABS 2004 |d (2004 : |c Greenbelt, Md.) | |
| 245 | 1 | 0 | |a Formal approaches to agent-based systems : |b Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers / |c Michael G. Hinchey [and others] (eds.) |
| 246 | 3 | 0 | |a FAABS 2004. |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2005. | ||
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3228. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Ecology based decentralized agent management system / Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli -- From abstract to concrete norms in agent institutions / Davide Grossi and Frank Dignum -- Meeting the deadline: why, when and how / Frank Dignum [and others] -- Multi-agent systems reliability, fuzziness, and deterrence / Michel Rudnianski and Helene Bestougeff -- Formalism challenges of the cougaar model driven architecture / Shawn A. Bohner [and others] -- Facilitating the specification capture and transformation process in the development of multi-agent systems / Aluizio Haendchen Filho [and others] -- Using ontologies to formalize services specifications in multi-agent systems / Karin Koogan Breitman [and others] -- Two formal gas models for multi-agent sweeping and obstacle avoidance / Wesley Kerr [and others] -- A formal analysis of potential energy in a multi-agent system / William M. Spears, Diana F. Spears, Rodney Heil -- Agent-based chemical plume tracing using fluid dynamics / Dimitri Zarzhitsky [and others] -- Towards timed automata and multi-agent systems / G. Hutzler, H. Klaudel, D.Y. Wang -- An approach to V & V of embedded adaptive systems / Sampath Yerramalla [and others] -- Verifying multi-agent systems via unbounded model checking / M. Kacprzak [and others] -- Towards symbolic model checking for multi-agent systems via obdd's / Franco Raimondi and Alessio Lomuscio -- Formal consistency verification of deliberative agents with respect to communication protocols / Jaime Ramirez and Angelica de Antonio -- F-OWL: an inference engine for semantic web / Youyong Zou, Tim Finin, Harry Chen -- Model-driven architecture for agent-based systems / Denis Gracanin [and others] -- Apoptosis and self-destruct: a contribution to autonomic agents? / Roy Sterritt and Mike Hinchey -- Petri nets as modeling tool for emergent agents / Margo Bergman -- Massive multi-agent systems control / Jean-Charles Campagne [and others] -- Fuzzy hybrid deliberative/reactive paradigm (FHDRP) / Hengameh Sarmadi -- Interaction and communication of agents in networks and language complexity estimates / Jan Smid [and others] | |
| 650 | 0 | |a Intelligent control systems |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 7 | |a Intelligent control systems. |2 fast |0 (OCoLC)fst00975911. | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Hinchey, Michael G. |q (Michael Gerard), |d 1969- | |
| 776 | 1 | |t Formal approaches to agent-based systems |w (OCoLC)57608821. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3228. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/b105317 |z Full Text (via Springer) |
| 907 | |a .b80342656 |b 05-04-22 |c 06-22-15 | ||
| 998 | |a web |b 02-20-16 |c f |d b |e - |f eng |g gw |h 0 |i 4 | ||
| 907 | |a .b80342656 |b 02-01-17 |c 06-22-15 | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer English/International eBooks 2005 - Full Set | ||
| 948 | |a ress | ||
| 999 | f | f | |i 361fbd6c-1504-5f63-9f32-ae8afe273a0a |s 8a62736d-6254-5db3-a6b9-bd688b377f94 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e TJ217.5 .F33 2004 |h Library of Congress classification |i Ebooks, Prospector |n 1 |