LEADER 01738oam 2200469 450 001 9910711584803321 005 20181026095438.0 035 $a(CKB)5470000002484200 035 $a(OCoLC)953211593 035 $a(OCoLC)995470000002484200 035 $a(EXLCZ)995470000002484200 100 $a20160707d1984 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPhosphate-rock resources of the United States /$fby James B. Cathcart, Richard P. Sheldon, and Robert A. Gulbrandsen 210 1$a[Reston, Va.?]. :$cUnited States Department of the Interior, Geological Survey,$d1984. 215 $a1 online resource (iv, 48 pages) $cillustrations, maps 225 1 $aGeological Survey circular ;$v888 300 $a"An analysis of phosphate-rock resources, based on past estimates and all available recent information, indicates that sufficient phosphate exists in the United States to meet domestic demands for the foreseeable future." 320 $aIncludes bibliographical references (pages 46-48). 606 $aPhosphate rock$zUnited States 606 $aPhosphate rock$2fast 607 $aUnited States$2fast 615 0$aPhosphate rock 615 7$aPhosphate rock. 700 $aCathcart$b James Bachelder$f1917-$01386984 702 $aGulbrandsen$b Robert A. 702 $aSheldon$b Richard Porter$f1923- 712 02$aGeological Survey (U.S.), 801 0$bCOP 801 1$bCOP 801 2$bOCLCO 801 2$bOCLCF 801 2$bOCLCA 801 2$bGPO 906 $aBOOK 912 $a9910711584803321 996 $aPhosphate-rock resources of the United States$93491772 997 $aUNINA LEADER 05851nam 22008775 450 001 9910484633103321 005 20251226204250.0 010 $a1-280-38774-2 010 $a9786613565662 010 $a3-642-14183-8 024 7 $a10.1007/978-3-642-14183-6 035 $a(CKB)2670000000028936 035 $a(SSID)ssj0000446413 035 $a(PQKBManifestationID)11281717 035 $a(PQKBTitleCode)TC0000446413 035 $a(PQKBWorkID)10495967 035 $a(PQKB)10089382 035 $a(DE-He213)978-3-642-14183-6 035 $a(MiAaPQ)EBC3065485 035 $a(PPN)149072872 035 $a(BIP)31063930 035 $a(EXLCZ)992670000000028936 100 $a20100705d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDeontic Logic in Computer Science $e10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /$fedited by Guido Governatori, Giovanni Sartor 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (VIII, 323 p. 33 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6181 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-14182-X 320 $aIncludes bibliographical references and index. 327 $aFrom Norm Adoption to Norm Internalization -- Norms, Action and Agency in Multi-agent Systems -- Towards a Logical Analysis of the Judgment on Facts -- Deontic Redundancy: A Fundamental Challenge for Deontic Logic -- A Dyadic Operator for the Gradation of Desirability -- Deontics = Betterness + Priority -- Axioms for Obligation and Robustness with Temporal Logic -- Moral Particularism and Deontic Logic -- Relevance, Derogation and Permission -- Retroactive Legal Changes and Revision Theory in Defeasible Logic -- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra -- Avoiding Deontic Explosion by Contextually Restricting Aggregation -- Obligations and Prohibitions in Talmudic Deontic Logic -- Introducing Exclusion Logic as a Deontic Logic -- Privacy Policies with Modal Logic: The Dynamic Turn -- Value-Based Argumentation for Justifying Compliance -- A Logical Model of Private International Law -- Where Did Mally Go Wrong? -- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents -- Characterising Responsibility in Organisational Structures: The Problem of Many Hands -- A Logical Analysis of Commitment Dynamics -- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. 330 $aThis volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7-9, 2010. This biennial conference series is designed to p- mote international cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interd- ciplinary, it covers formal-logical studies of normative concepts and normative systems and their links with computer science, arti'cial intelligence, philosophy, organization theory, and law. This edition of ?EON invited submission on the following general themes: the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related - eas of logic, the formal analysis of normative concepts and normative systems, the formal representation of legal knowledge, the formal speci'cation of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability, the formal speci'cation of normative systems for the managementofbureaucraticprocessesinpublic orprivateadministration,app- cations of normative logic to the speci'cation of database integrity constraints, normative aspects of protocols for communication, negotiation and multi-agent decision making.In particular,submissions weresolicited addressingapplication of deontic notions for modelling legal systems. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6181 606 $aArtificial intelligence 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aComputer science 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 606 $aDiscrete Mathematics in Computer Science 606 $aTheory of Computation 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aComputer science. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aTheory of Computation. 676 $a006.3 701 $aGovernatori$b Guido$0932805 701 $aSartor$b Giovanni$010365 712 12$aInternational Conference on Deontic Logic in Computer Science 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484633103321 996 $aDeontic logic in computer science$94203321 997 $aUNINA