LEADER 05548nam 22008655 450 001 9910484841103321 005 20251226200028.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(BIP)32412867 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 $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,$x2945-9141 ;$v6214 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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. 330 $aThese are the proceedings of the 10th International Workshop on Compu- tional Logic in Multi-Agent Systems (CLIMA-X), held September 9-10, 2009 in Hamburg, co-located with MATES. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, in a formal way, programming and reasoning about agents and multi-agent systems. Multi-agentsystemsarecommunitiesofproblem-solvingentitiesthatcanp- ceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many techno- giesandconceptsfromarti'cialintelligenceandotherareasofcomputingaswell as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing,electroniccommerceandtrade,etc.Computationallogicprovidesawe- de'ned, general, and rigorousframeworkfor studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration among, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for li- ing speci'cations to implementations, and for the veri'cation of properties of individual agents, multi-agent systems and their implementations. These proceedings feature nine regularpapers (from a total of 18 papers s- mitted), as wellas one paper basedonthe invited talk givenby TranCao Son. IntheinvitedpaperbyTranCaoSon,EnricoPontelli,andNgoc-HieuNguyen, "Planning for Multi-Agents Using ASP-Prolog," the action language B is - tended to the multi-agent case. The used technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on "Expressing Prop- 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6214 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer networks 606 $aSoftware engineering 606 $aApplication software 606 $aComputer science 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 606 $aComputer Science Logic and Foundations of Programming 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aApplication software. 615 0$aComputer science. 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 615 24$aComputer Science Logic and Foundations of Programming. 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