LEADER 02874nam  2200649 a 450 
001 9910484841103321
005 20200520144314.0
010   $a1-280-39027-1
010   $a9786613568199
010   $a3-642-16867-1
024 7 $a10.1007/978-3-642-16867-3
035   $a(CKB)2550000000019915
035   $a(SSID)ssj0000446360
035   $a(PQKBManifestationID)11299744
035   $a(PQKBTitleCode)TC0000446360
035   $a(PQKBWorkID)10506310
035   $a(PQKB)10505617
035   $a(DE-He213)978-3-642-16867-3
035   $a(MiAaPQ)EBC3066067
035   $a(PPN)149029969
035   $a(EXLCZ)992550000000019915
100   $a20101119d2010      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputational logic in multi-agent systems $e10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers /$fJurgen Dix, Michael Fisher, Peter Novak (eds.)
205   $a1st ed. 2010.
210   $aBerlin $cSpringer$d2010
215   $a1 online resource (IX, 197 p. 40 illus.)
225 1 $aLNCS sublibrary. SL 7, Artificial intelligence
225 1 $aLectures notes in artificial intelligence,$x0302-9743 ;$v6214
225 1 $aLectures notes in computer science
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-16866-3 
320   $aIncludes bibliographical references and index.
327   $aPlanning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing.
410  0$aLecture notes in computer science.
410  0$aLecture notes in computer science.$pLecture notes in artificial intelligence.
410  0$aLectures notes in computer science.
606   $aComputer logic$vCongresses
606   $aMultiagent systems$vCongresses
615  0$aComputer logic
615  0$aMultiagent systems
676   $a006.3
701   $aDix$b Jurgen$01754562
701   $aFisher$b Michael$012384
701   $aNovak$b Peter$01759851
712 12$aCLIMA (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484841103321
996   $aComputational logic in multi-agent systems$94198514
997   $aUNINA