| Record ID | marc_nuls/NULS_PHC_180925.mrc:292939701:3936 |
| Source | marc_nuls |
| Download Link | /show-records/marc_nuls/NULS_PHC_180925.mrc:292939701:3936?format=raw |
LEADER: 03936cam 2200529Ia 4500
001 9922362260001661
005 20150423143427.0
008 070105s2006 gw a 100 0 eng d
010 $a 2006938418
016 7 $a982277350$2GyFmDB
020 $a9783540689591 (pbk.)
020 $a3540689591 (pbk.)
029 0 $aOHX$bhar060166019
029 1 $aYDXCP$b2525063
035 $a(CSdNU)u294267-01national_inst
035 $a(OCoLC)77548404
035 $a(OCoLC)77548404
035 $a(OCoLC)77548404
040 $aOHX$cOHX$dC$Q$dCUS$dDLC$dBAKER$dYDXCP$dOrLoB-B
049 $aCNUM
050 00 $aQA76.7$b.I5775 2006
072 7 $aQA$2lcco
082 00 $a055.13/1$222
111 2 $aInternational Workshop on Declarative Agent Languages and Technologies$n(4th :$d2006 :$cHakodate-shi, Japan)
245 10 $aDeclarative agent languages and technologies IV :$b4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers /$cMatteo Baldoni, Ulle Endriss (eds.).
246 30 $aDALT 2006
260 $aBerlin :$bSpringer,$c2006.
300 $aviii, 256 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4327.$aLecture notes in artificial intelligence
500 $aInternational conference proceedings.
504 $aIncludes bibliographical references and author index.
505 0 $aProducing compliant interactions : conformance, coverage, and interoperability / Amit K. Chopra and Munindar P. Singh -- Towards theory translation / Dejing Dou and Drew McDermott -- The complexity of model checking concurrent programs against CTLK specifications / Alessio Lomuscio and Franco Raimondi -- Dynamic model checking for multi-agent systems / Nardine Osman, David Robertson and Christopher Walton -- Automating belief revision for AgentSpeak / Natasha Alechina, Rafael H. Bordini, Jomi F. Hubner, Mark Jago and Brian Logan -- A foundational ontology of organizations and roles / Guido Boella and Leendert van der Torre -- When agents communicate hypotheses in critical situations / Gauvain Bourgne, Nicolas Maudet and Suzanne Pinson -- A fibred tableau calculus for modal logics of agents / Vineet Padmanabhan and Guido Governatori -- Programming declarative goals using plan patterns / Jomi F. Hubner, Rafael H. Bordini and Michael Wooldridge -- JADL - an agent description language for smart agents / Thomas Konnerth, Benjamin Hirsch and Sahin Albayrak -- Agreeing on defeasible commitments / Ioan Alfred Letia and Adrian Groza -- A dynamic logic programming based system for agents with declarative goals / Vivek Nigam and Jodo Leite -- A collaborative framework to realize virtual enterprises using 3APL / Gobinath Narayanasamy, Joe Cecil and Tran Cao Son -- A modeling framework for generic agent interaction protocols / Jose Ghislain Quenum, Samir Aknine, Jean-Pierre Briot and Shinichi Honiden -- Plan generation and plan execution in agent programming / M. Birna van Riemsdijk and Mehdi Dastani -- A functional program for agents, actions, and deontic specifications / Adam Zachary Wyner.
530 $aAlso issued online.
650 0 $aProgramming languages (Electronic computers)$vCongresses.
650 0 $aDeclarative programming$vCongresses.
650 0 $aIntelligent agents (Computer software)
700 1 $aBaldoni, Matteo,$d1968-
700 1 $aEndriss, Ulle.
830 0 $aLecture notes in computer science ;$v4327.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
938 $aOtto Harrassowitz$bHARR$nhar060166019$c64.34 USD
938 $aBaker & Taylor$bBKTY$c64.95$d64.95$i3540689591$n0007161779$sactive
938 $aYBP Library Services$bYANK$n2525063
947 $fSOET-EGR$hCIRCSTACKS$p$61.70$q1
949 $aQA 76.7 .I5775 2006$i31786102105985
994 $a92$bCNU
999 $aQA 76.7 .I5775 2006$wLC$c1$i31786102105985$lCIRCSTACKS$mNULS$rY$sY $tBOOK$u4/2/2007