LEADER 04251nam 22006255 450 001 996466101903316 005 20200630000815.0 010 $a3-540-68722-X 024 7 $a10.1007/BFb0055015 035 $a(CKB)1000000000210952 035 $a(SSID)ssj0000321061 035 $a(PQKBManifestationID)11262185 035 $a(PQKBTitleCode)TC0000321061 035 $a(PQKBWorkID)10262704 035 $a(PQKB)11687591 035 $a(DE-He213)978-3-540-68722-1 035 $a(PPN)155180290 035 $a(EXLCZ)991000000000210952 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAgents and Multi-Agent Systems Formalisms, Methodologies, and Applications$b[electronic resource] $eBased on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. /$fedited by Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (XII, 244 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1441 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64769-4 327 $aSpecifying communicative multi-agent systems -- Making it up as they go along: A theory of reactive cooperation -- Agency and the logic of ability -- On the relation between interpreted systems and Kripke models -- Disjunctive logic programming and possible model semantics -- A non-monotonic ATMS based on annotated logic programs with strong negation -- Switching between reasoning and search -- The social dimension of interactions in multiagent systems -- Generating states of joint commitment between autonomous agents -- Social co-ordination among autonomous problem-solving agents -- An algorithm for plan verification in multiple agent systems -- A framework for coordination and learning among teams of agents -- An iterated hawk-and-dove game -- A game-theoretic solution of conflicts among competitive agents -- Transformation between the EMYCIN model and the Bayesian network -- Using multi-agent approach for the design of an intelligent learning environment -- A case-based strategy for solution synthesis among cooperative expert systems. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of three workshops held in conjunction with the 10th Australian Joint Conference on Artificial Intelligence in Perth, Australia, in December 1997. The 17 revised full papers presented were carefully reviewed for inclusion in the book. The book is divided into sections on formal methods of agency, reasoning agents, communication and coordination, social interaction, and practical issues for distributed artificial intelligence systems. 410 0$aLecture Notes in Artificial Intelligence ;$v1441 606 $aArtificial intelligence 606 $aComputer communication systems 606 $aSoftware engineering 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 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 615 0$aArtificial intelligence. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 676 $a006.3 702 $aWobcke$b Wayne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPagnucco$b Maurice$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Chengqi$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAustralian Joint Artificial Intelligence Conference$d(10th :$f1997 :$ePerth, Australia) 906 $aBOOK 912 $a996466101903316 996 $aAgents and Multi-Agent Systems Formalisms, Methodologies, and Applications$92126439 997 $aUNISA