LEADER 05249nam 22007695 450 001 996465403003316 005 20200629114539.0 010 $a3-540-93920-2 024 7 $a10.1007/978-3-540-93920-7 035 $a(CKB)1000000000545795 035 $a(SSID)ssj0000317153 035 $a(PQKBManifestationID)11253059 035 $a(PQKBTitleCode)TC0000317153 035 $a(PQKBWorkID)10286987 035 $a(PQKB)11291803 035 $a(DE-He213)978-3-540-93920-7 035 $a(MiAaPQ)EBC3063841 035 $a(PPN)132869012 035 $a(EXLCZ)991000000000545795 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDeclarative Agent Languages and Technologies VI$b[electronic resource] $e6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /$fedited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 251 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5397 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-93919-9 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach. 330 $aThis volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies. 410 0$aLecture Notes in Artificial Intelligence ;$v5397 606 $aArtificial intelligence 606 $aComputer communication systems 606 $aSoftware engineering 606 $aComputers 606 $aProgramming languages (Electronic computers) 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/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aArtificial intelligence. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aProgramming languages (Electronic computers). 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aModels and Principles. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a006.3 702 $aBaldoni$b Matteo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSon$b Tran Cao$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan Riemsdijk$b Birna$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWinikoff$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465403003316 996 $aDeclarative Agent Languages and Technologies VI$9774148 997 $aUNISA