MARC Record from marc_columbia

LEADER: 05034cam a22003498a 4500
001 4128689
005 20221027042355.0
008 030717s2003 nyu 100 0 eng
010 $a 2003058133
020 $a3540406654 (alk. paper)
035 $a(OCoLC)ocm52728829
035 $a(NNC)4128689
035 $a4128689
040 $aDLC$cDLC$dOHX$dOrLoB-B
042 $apcc
050 00 $aTJ217.5$b.F33 2002
072 7 $aQ$2lcco
082 00 $a629.8/0285/63$222
111 2 $aFAABS 2002$d(2002 :$cGreenbelt, Md.)$0http://id.loc.gov/authorities/names/n2003004018
245 10 $aFormal approaches to agent-based systems :$bsecond international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers /$cMichael G. Hinchey [and others].
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c2003.
300 $aix, 295 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v2699.$aLecture notes in artificial intelligenceLecture notes in artificial intelligence
505 00 $t"What Is an Agent and Why Should I Care?" /$rTim Menzies, Adrian Pearce, Clinton Heinze and Simon Goss -- $tOrganising Logic-Based Agents /$rMichael Fisher, Chiara Ghidini and Benjamin Hirsch -- $tA Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior /$rBahram Kimiaghalam, Abdollah Homaifar and Albert C. Esterline -- $tFormal Specification of Interaction in Agent Societies /$rVirginia Dignum, John-Jules C. Meyer, Frank Dignum and Hans Weigand -- $tFormal Verification for a Next-Generation Space Shuttle /$rStacy D. Nelson and Charles Pecheur -- $tAutomated Protocol Analysis in Maude /$rJeffrey Van Baalen and Thomas Bohne -- $tTowards Interaction Protocol Operations for Large Multi-agent Systems /$rJoaquin Pena, Rafacl Corchuelo and Jose Luis Arjona -- $tFormal Modeling and Supervisory Control of Reconfigurable Robot Teams /$rKiriakos Kiriakidis and Diana F. Gordon-Spears -- $tComputational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models /$rHyuckchul Jung, Ranjit Nair, Milind Tambe and Stacy Marsella -- $tBounded Model Checking for Interpreted Systems: Preliminary Experimental Results /$rA. Lomuscio, T. Lasica and W. Penczek -- $tVerifiable Middleware for Secure Agent Interoperability /$rRamesh Bharadwaj -- $tDistributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators /$rSilvana Zappacosta Amboldi -- $tUsing Statecharts and Modal Logics to Model Multiagent Plans and Transactions /$rAlbert C. Esterline -- $tQu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities /$rPeter J. Robinson, Mike Hinchey and Keith Clark -- $tA Model for Conformance Testing of Mobile Agents in a MASIF Framework /$rMikael Marche and Yves-Marie Quemener -- $tAnalysis of a Phase Transition in a Physics-Based Multiagent System /$rDiana F. Gordon-Spears and William M. Spears -- $tYou Seem Friendly, But Can I Trust You? /$rTim Menzies, David Owen and Bojan Cukic -- $tTaking Intelligent Agents to the Battlefield /$rJeffrey Hicks, Richard Flanagan, Plamen Petrov and Alexander Stoyen -- $tNaval Applications of Secure Multi-agent Technology /$rRamesh Bharadwaj -- $tChallenges Arising from Applications /$rCharles Pecheur -- $tAgents Applied to Autonomous Vehicles /$rCraig Schlenoff -- $tUsing XML for Interprocess Communications in a Space Situational Awareness and Control Application /$rStuart Aldridge, Alexander Stoyen, Jeffrey Hicks and Plamen Petrov -- $tAsimov's Laws: Current Progress /$rDiana F. Gordon-Spears -- $tAsimov's Laws /$rJames P. Hogan -- $tOn Laws of Robotics /$rYoji Kondo -- $tChallenges Arising from Applications of Agent-Based System /$rWalt Truszkowski -- $tTools and Education towards Formal Methods Practice /$rJohn-Jules C. Meyer -- $tEvaluating Agent-Based Modeling as a Tool for Economists /$rMargo Bergman -- $tModeling Traffic Control through Deterrent Agents /$rMichel Rudnianski and Helene Bestougeff -- $tTowards a Formal Representation of Driving Behaviors /$rCraig Schlenoff and Michael Gruninger -- $tFormal Analysis of an Agent-Based Medical Diagnosis Confirmation System /$rAlexander Hoole, Issa Traore and Michael Liu Yanguo -- $tAgent Programming in Dribble: From Beliefs to Goals with Plans /$rBirna van Riemsdijk, Wiebe van der Hoek and John-Jules C. Meyer.
650 0 $aIntelligent control systems$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104439
650 0 $aSoftware engineering$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008111658
700 1 $aHinchey, Michael G.$q(Michael Gerard),$d1969-$0http://id.loc.gov/authorities/names/n94096686
830 0 $aLecture notes in computer science ;$v2699.$0http://id.loc.gov/authorities/names/n42015162
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.$0http://id.loc.gov/authorities/names/n86736436
852 00 $boff,eng$hTJ217.5$i.F33 2002