LEADER 03725nam 22006732 450 001 9910450868703321 005 20210531145055.0 010 $a1-280-91561-7 010 $a9786610915613 010 $a90-474-1192-7 010 $a1-4237-2968-4 024 7 $a10.1163/9789047411925 035 $a(CKB)1000000000407853 035 $a(OCoLC)69013381 035 $a(CaPaEBR)ebrary10175346 035 $a(SSID)ssj0000107780 035 $a(PQKBManifestationID)11141601 035 $a(PQKBTitleCode)TC0000107780 035 $a(PQKBWorkID)10016980 035 $a(PQKB)11732710 035 $a(MiAaPQ)EBC3003942 035 $a(Au-PeEL)EBL3003942 035 $a(CaPaEBR)ebr10175346 035 $a(CaONFJC)MIL91561 035 $a(OCoLC)923611997 035 $a(nllekb)BRILL9789047411925 035 $a(EXLCZ)991000000000407853 100 $a20200716d2001 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe Authority of the Security Council under Chapter VII of the UN Charter $eLegal Limits and the Role of the International Court of Justice /$fDavid Schweigman 210 1$aLeiden; $aBoston :$cBrill | Nijhoff,$d2001. 215 $a1 online resource (373 p.) 225 1 $aStudies and Materials on the Settlement of International Disputes ;$v8 300 $aOriginally presented as the author's thesis (doctoral)--Erasmus Universiteit Rotterdam. 311 $a90-411-1641-9 320 $aIncludes bibliographical references and index. 327 $aNote by the Series Editor -- Preface -- Abbreviations -- Introduction -- 1. The Interpretation of Treaties -- 2. The Authority of the Security Council under the UN Charter -- 3. Subsequent Practice: The Council's Application of its Powers -- 4. Sources and Content of the Legal Limits to the Council's Powers -- 5. Illegal Council Decisions: Consequences and the Remedies Available -- 6. Enhancing the Council's Legitimacy -- Conclusions -- List of References -- Table of Cases -- Index. 330 $aThis volume discusses the legal limits to the authority of the Security Council under Chapter VII of the United Nations Charter. The interest in this topic regained importance when the Security Council started to play an increasingly active role after a period of dormancy between 1945 and 1990. The work describes various approaches to Charter interpretation, provides an overview of the Council's powers under the Charter and surveys the Council's recent practice with regard to the maintenance of international peace and security. Subsequently the sources and contents of the limits to the Council's authority are analyzed. This is followed by an analysis of the role of the International Court of Justice, which includes an overview of the main obstacles to, and possibilities of, judicial review by the Court of Council decisions taken under Chapter VII. Finally, the work discusses recent proposals to enhance the Council's legitimacy. 410 0$aStudies and Materials on the Settlement of International Disputes ;$v8. 517 3 $aLegal Limits and the Role of the International Court of Justice 606 $aSecurity international 606 $aUnited Nations Charter 606 $aSecurity, International 608 $aElectronic books. 615 0$aSecurity international. 615 0$aUnited Nations Charter. 615 0$aSecurity, International. 676 $a341.23/23 700 $aSchweigman$b David$0148004 801 0$bNL-LeKB 801 1$bNL-LeKB 906 $aBOOK 912 $a9910450868703321 996 $aThe authority of the Security Council under Chapter VII of the UN Charter$92291357 997 $aUNINA LEADER 07805nam 22007935 450 001 996465779203316 005 20200703083021.0 010 $a1-280-38777-7 010 $a9786613565693 010 $a3-642-14203-6 024 7 $a10.1007/978-3-642-14203-1 035 $a(CKB)2550000000015593 035 $a(SSID)ssj0000446323 035 $a(PQKBManifestationID)11327264 035 $a(PQKBTitleCode)TC0000446323 035 $a(PQKBWorkID)10496216 035 $a(PQKB)10051501 035 $a(DE-He213)978-3-642-14203-1 035 $a(MiAaPQ)EBC3065527 035 $a(PPN)149072899 035 $a(EXLCZ)992550000000015593 100 $a20100712d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning$b[electronic resource] $e5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /$fedited by Jürgen Giesl, Reiner Hähnle 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 534 p. 85 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6173 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-14202-8 320 $aIncludes bibliographical references and index. 327 $aLogical Frameworks and Combination of Systems -- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) -- MCMT: A Model Checker Modulo Theories -- On Hierarchical Reasoning in Combinations of Theories -- Description Logic I -- Global Caching for Coalgebraic Description Logics -- Tractable Extensions of the Description Logic with Numerical Datatypes -- Higher-Order Logic -- Analytic Tableaux for Higher-Order Logic with Choice -- Monotonicity Inference for Higher-Order Formulas -- Sledgehammer: Judgement Day -- Invited Talk -- Logic between Expressivity and Complexity -- Verification -- Multi-Prover Verification of Floating-Point Programs -- Verifying Safety Properties with the TLA?+? Proof System -- MUNCH - Automated Reasoner for Sets and Multisets -- A Slice-Based Decision Procedure for Type-Based Partial Orders -- Hierarchical Reasoning for the Verification of Parametric Systems -- First-Order Logic -- Interpolation and Symbol Elimination in Vampire -- iProver-Eq: An Instantiation-Based Theorem Prover with Equality -- Classical Logic with Partial Functions -- Non-Classical Logic -- Automated Reasoning for Relational Probabilistic Knowledge Representation -- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse -- Terminating Tableaux for Hybrid Logic with Eventualities -- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion -- Focused Inductive Theorem Proving -- Decision Procedures -- A Decidable Class of Nested Iterated Schemata -- RegSTAB: A SAT Solver for Propositional Schemata -- Linear Quantifier Elimination as an Abstract Decision Procedure -- A Decision Procedure for CTL* Based on Tableaux and Automata -- URBiVA: Uniform Reduction to Bit-Vector Arithmetic -- Keynote Talk -- Induction, Invariants, and Abstraction -- Arithmetic -- A Single-Significant-Digit Calculus for Semi-Automated Guesstimation -- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents -- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic -- Invited Talk -- Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development -- Applications -- Automating Security Analysis: Symbolic Equivalence of Constraint Systems -- System Description: The Proof Transformation System CERES -- Premise Selection in the Naproche System -- On the Saturation of YAGO -- Description Logic II -- Optimized Description Logic Reasoning via Core Blocking -- An Extension of Complex Role Inclusion Axioms in the Description Logic -- Termination -- Decreasing Diagrams and Relative Termination -- Monotonicity Criteria for Polynomial Interpretations over the Naturals -- Termination Tools in Ordered Completion. 330 $aThis volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors ? EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel ? is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, and Sydney (Australia) in 2008. IJCAR comprises s- eral leading conferences and workshops. In 2010, IJCAR was the fusion of the following events: ?CADE: International Conference on Automated Deduction ?FroCoS: International Symposium on Frontiers of Combining Systems ?FTP: International Workshop on First-Order Theorem Proving ? TABLEAUX: InternationalConferenceonAutomatedReasoningwith- alytic Tableaux and Related Methods There were 89 submissions (63 regular papers and 26 system descriptions) of which 40 were accepted (28 regular papers and 12 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 92 external referees. Afterwards, the submissions were discussed by the ProgramCommittee during two weeks by means of Andrei Voronkov?s EasyChair system. We want to thank Andrei very much for providing his system, which was very helpful for the management of the submissions and reviews and for the discussion of the Program Committee. 410 0$aLecture Notes in Artificial Intelligence ;$v6173 606 $aArtificial intelligence 606 $aArchitecture, Computer 606 $aComputer programming 606 $aMathematical logic 606 $aComputer logic 606 $aLogic design 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 615 0$aArtificial intelligence. 615 0$aArchitecture, Computer. 615 0$aComputer programming. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aLogic design. 615 14$aArtificial Intelligence. 615 24$aComputer System Implementation. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aLogic Design. 676 $a006.3 702 $aGiesl$b Jürgen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHähnle$b Reiner$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465779203316 996 $aAutomated Reasoning$9771895 997 $aUNISA