04075nam 22007935 450 99646600060331620200703161533.03-642-29113-910.1007/978-3-642-29113-5(CKB)3360000000365981(SSID)ssj0000666039(PQKBManifestationID)11432168(PQKBTitleCode)TC0000666039(PQKBWorkID)10664015(PQKB)10927203(DE-He213)978-3-642-29113-5(MiAaPQ)EBC3070226(PPN)168313715(EXLCZ)99336000000036598120120321d2012 u| 0engurnn|008mamaatxtccrDeclarative Agent Languages and Technologies IX[electronic resource] 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers /edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 153 p.) Lecture Notes in Artificial Intelligence ;7169Bibliographic Level Mode of Issuance: Monograph3-642-29112-0 Includes bibliographical references and author index.This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.Lecture Notes in Artificial Intelligence ;7169Artificial intelligenceComputersComputer communication systemsSoftware engineeringProgramming languages (Electronic computers)Computer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial intelligence.Computers.Computer communication systems.Software engineering.Programming languages (Electronic computers).Computer logic.Artificial Intelligence.Models and Principles.Computer Communication Networks.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.005.13Sakama Chiakiedthttp://id.loc.gov/vocabulary/relators/edtSardina Sebastianedthttp://id.loc.gov/vocabulary/relators/edtVasconcelos Wambertoedthttp://id.loc.gov/vocabulary/relators/edtWinikoff Michaeledthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Declarative Agent Languages and TechnologiesBOOK996466000603316Declarative Agent Languages and Technologies IX2829989UNISA