LEADER 04177nam  22008295  450 
001 996465689803316
005 20200706055813.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   $a20101031d2010      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputational Logic in Multi-Agent Systems$b[electronic resource] $e10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /$fedited by Jürgen Dix, Michael Fisher, Peter Novák
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (IX, 197 p. 40 illus.)
225 1 $aLecture Notes in Artificial Intelligence ;$v6214
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 Artificial Intelligence ;$v6214
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer communication systems
606   $aSoftware engineering
606   $aApplication software
606   $aComputer logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
607   $aHamburg <2009>$2swd
608   $aKongress.$2swd
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer communication systems.
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aComputer logic.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aLogics and Meanings of Programs.
676   $a006.3
702   $aDix$b Jürgen$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFisher$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNovák$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCLIMA (Conference)
906   $aBOOK
912   $a996465689803316
996   $aComputational Logic in Multi-Agent Systems$9772133
997   $aUNISA