LEADER 02126nam 2200541 450 001 9910812701603321 005 20230808161526.0 010 $a0-19-755950-6 010 $a0-19-021282-9 035 $a(CKB)4330000000043170 035 $a(StDuBDS)EDZ0002340637 035 $a(MiAaPQ)EBC4862769 035 $a(MiAaPQ)EBC2012736 035 $a(Au-PeEL)EBL2012736 035 $a(OCoLC)958511053 035 $a(EXLCZ)994330000000043170 100 $a20200915e20202014 fy| 0 101 0 $aeng 135 $aur||||||||||| 181 $2rdacontent 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aAmericans and their weather /$fWilliam B. Meyer$b[electronic resource] 205 $aUpdated edition. 210 1$aNew York :$cOxford University Press,$d2020. 215 $a1 online resource (312 pages) $cillustrations (black and white) 225 1 $aOxford scholarship online 300 $aThis edition previously issued in print: 2014. 311 $a0-19-021281-0 320 $aIncludes bibliographical references and index. 330 8 $aThis updated edition synthesizes research from many fields to offer a complete history of the roles played by weather and climate in American life from colonial times to the present. Author William B. Meyer characterizes weather events as neutral phenomena that are inherently neither hazards nor resources, but can become either depending on the activities with which they interact. 410 0$aOxford scholarship online. 606 $aClimatic changes$xSocial aspects$zUnited States 606 $aClimatic changes$xEconomic aspects$zUnited States 607 $aUnited States$xClimate 607 $aUnited States$xSocial conditions 607 $aUnited States$xEconomic conditions 615 0$aClimatic changes$xSocial aspects 615 0$aClimatic changes$xEconomic aspects 676 $a551.6973 700 $aMeyer$b William B.$0276411 801 0$bStDuBDS 801 1$bStDuBDS 906 $aBOOK 912 $a9910812701603321 996 $aAmericans and their weather$93983499 997 $aUNINA 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