LEADER 04799nam 22008295 450 001 996465840203316 005 20200703092743.0 010 $a3-642-05301-7 024 7 $a10.1007/978-3-642-05301-6 035 $a(CKB)1000000000798308 035 $a(SSID)ssj0000318586 035 $a(PQKBManifestationID)11245642 035 $a(PQKBTitleCode)TC0000318586 035 $a(PQKBWorkID)10311617 035 $a(PQKB)10872617 035 $a(DE-He213)978-3-642-05301-6 035 $a(MiAaPQ)EBC3064711 035 $a(PPN)139959262 035 $a(EXLCZ)991000000000798308 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aKnowledge Representation for Agents and Multi-Agent Systems$b[electronic resource] $eFirst International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers /$fedited by John-Jules Meyer, Jan M. Broersen 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (VII, 162 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5605 300 $aInternational conference proceedings. 311 $a3-642-05300-9 320 $aIncludes bibliographical references and index. 327 $aReasoning about Other Agents? Beliefs under Bounded Resources -- Normative Multi-agent Programs and Their Logics -- Modal Logics for Preferences and Cooperation: Expressivity and Complexity -- Simulation and Information: Quantifying over Epistemic Events -- On the Dynamics of Institutional Agreements -- From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic -- Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms -- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments -- Information-Based Argumentation -- Mediation = Information Revelation + Analogical Reasoning. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems. 410 0$aLecture Notes in Artificial Intelligence ;$v5605 606 $aArtificial intelligence 606 $aUser interfaces (Computer systems) 606 $aComputers 606 $aMathematical logic 606 $aData mining 606 $aApplication software 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 608 $aKongress.$2swd 608 $aSydney (2008)$2swd 615 0$aArtificial intelligence. 615 0$aUser interfaces (Computer systems). 615 0$aComputers. 615 0$aMathematical logic. 615 0$aData mining. 615 0$aApplication software. 615 14$aArtificial Intelligence. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aData Mining and Knowledge Discovery. 615 24$aInformation Systems Applications (incl. Internet). 676 $a004n/a 686 $aDAT 709f$2stub 686 $aSS 4800$2rvk 702 $aMeyer$b John-Jules$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBroersen$b Jan M$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aKRAMAS 2008 906 $aBOOK 912 $a996465840203316 996 $aKnowledge Representation for Agents and Multi-Agent Systems$9773770 997 $aUNISA