LEADER 08242nam 22007095 450 001 996466069003316 005 20200706110832.0 010 $a3-540-45744-5 024 7 $a10.1007/3-540-45744-5 035 $a(CKB)1000000000211493 035 $a(SSID)ssj0000321537 035 $a(PQKBManifestationID)11230805 035 $a(PQKBTitleCode)TC0000321537 035 $a(PQKBWorkID)10263446 035 $a(PQKB)11462430 035 $a(DE-He213)978-3-540-45744-2 035 $a(MiAaPQ)EBC3072805 035 $a(PPN)155236768 035 $a(EXLCZ)991000000000211493 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning$b[electronic resource] $eFirst International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /$fedited by Rajeev Gore, Alexander Leitsch, Tobias Nipkow 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XIII, 712 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2083 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42254-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talks -- Program Termination Analysis by Size-Change Graphs (Abstract) -- SET Cardholder Registration: The Secrecy Proofs -- SET Cardholder Registration: The Secrecy Proofs -- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction -- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction -- Description, Modal and temporal Logics -- The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach -- NExpTime-Complete Description Logics with Concrete Domains -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics -- The Hybrid ?-Calculus -- The Hybrid ?-Calculus -- The Inverse Method Implements the Automata Approach for Modal Satisfiability -- The Inverse Method Implements the Automata Approach for Modal Satisfiability -- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL -- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL -- Tableaux for Temporal Description Logic with Constant Domains -- Tableaux for Temporal Description Logic with Constant Domains -- Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation -- Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation -- Saturation Based Theorem Proving, Applications, and Data Structures -- Instructing Equational Set-Reasoning with Otter -- NP-Completeness of Refutability by Literal-Once Resolution -- Ordered Resolution vs. Connection Graph resolution -- A Model-Based Completeness Proof of Extended Narrowing and Resolution -- A Model-Based Completeness Proof of Extended Narrowing and Resolution -- A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality -- A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality -- Superposition and Chaining for Totally Ordered Divisible Abelian Groups -- Superposition and Chaining for Totally Ordered Divisible Abelian Groups -- Context Trees -- Context Trees -- On the Evaluation of Indexing Techniques for Theorem Proving -- On the Evaluation of Indexing Techniques for Theorem Proving -- Logic Programming and Nonmonotonic Reasoning -- Preferred Extensions of Argumentation Frameworks: Query, Answering, and Computation -- Bunched Logic Programming -- A Top-Down Procedure for Disjunctive Well-Founded Semantics -- A Second-Order Theorem Prover Applied to Circumscription -- NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics -- NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics -- Propositional Satisfiability and Quantified Boolean Logic -- Conditional Pure Literal Graphs -- Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability -- QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability -- System Abstract: E 0.61 -- Vampire 1.1 -- DCTP - A Disconnection Calculus Theorem Prover - System Abstract -- DCTP - A Disconnection Calculus Theorem Prover - System Abstract -- Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving -- More On Implicit Syntax -- Termination and Reduction Checking for Higher-Order Logic Programs -- P.rex: An Interactive Proof Explainer -- JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants -- Semantic Guidance -- The eXtended Least Number Heuristic -- System Description: SCOTT-5 -- Combination of Distributed Search and Multi-Search in Peers-mcd.d -- Lotrec: The Generic Tableau Prover for Modal and Description Logics -- The modprof Theorem Prover -- A New System and Methodology for Generating Random Modal Formulae -- Equational Theorem Proving and Term Rewriting -- Decidable Classes of Inductive Theorems -- Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems -- Decidability and Complexity of Finitely Closable Linear Equational Theories -- A New Meta-Complexity Theorem for Bottom-Up Logic Programs -- Tableau, Sequent, Natural Deduction Calculi and Proof Theory -- Canonical Propositional Gentzen-Type Systems -- Incremental Closure of Free Variable Tableaux -- Deriving Modular Programs from Short Proofs -- A General Method for Using Schematizations in Automated Deduction -- Automata, Specification, Verification, and Logics of Programs -- Approximating Dependency Graphs Using Tree Automata Techniques -- On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables -- A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities -- Flaw Detection in Formal Specifications -- CCE: Testing Ground Joinability -- System Description: RDL Rewrite and Decision Procedure Laboratory -- lolliCoP ? A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic -- Nonclassical Logics -- Muscadet 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction -- Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory -- STRIP: Structural Sharing for Efficient Proof-Search -- RACER System Description. 410 0$aLecture Notes in Artificial Intelligence ;$v2083 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer logic 606 $aSoftware engineering 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 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 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Foundations. 676 $a006.3/33 702 $aGore$b Rajeev$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeitsch$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNipkow$b Tobias$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aIJCAR 2001 906 $aBOOK 912 $a996466069003316 996 $aAutomated Reasoning$9771895 997 $aUNISA LEADER 04487nam 2200565 450 001 9910345970103321 005 20230926060503.0 010 $a1-78811-617-8 035 $a(CKB)4100000009072859 035 $a(UtOrBLW)eep9781788116176 035 $a(MiAaPQ)EBC5968266 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/59452 035 $a(EXLCZ)994100000009072859 100 $a20191127d2019 uy 0 101 0 $aeng 135 $aurun||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSkilled labor mobility and migration $echallenges and opportunities for the ASEAN economic community /$fedited by Elisabetta Gentile (Economic Research and Regional Cooperation Department, Asian Development Bank, Philippines) 210 1$aNorthampton :$cEdward Elgar Publishing,$d2019. 215 $a1 online resource (320 pages) 300 $aIncludes index. 311 $a1-78811-616-X 327 $aContents: Foreword -- Preface -- 1. Trends and patterns in intra-ASEAN migration / Aiko Kikkawa and Eric B. Suan -- 2. Skilled migration in the literature: What we know, what we think we know, and why it matters to know the difference / Elisabetta Gentile -- 3. Economic impacts of skilled labor mobility within the ASEAN economic community / Erwin Corong and Angel Aguiar -- 4. Implications of ASEAN economic integration on services: A global computable general equilibrium analysis / Kakali Mukhopadhyay -- 5. Employment effects of removal of restrictions on the movement of natural persons in the ASEAN banking sector / Huong Dinh -- 6. Skills mobility and postsecondary education in the ASEAN economic community / Maki Kato -- 7. Institutionalized costs and international migration patterns / Saibal Kar -- 8. Expanding skilled-worker mobility: Comparing the migration of Indonesian careworkers to Taipei, China and Indonesian nurses and careworkers to Japan / Ratih Pratiwi Anwar -- 9. Will ASEAN mutual recognition arrangements induce skilled workers to move? A case study of the engineering labor market in Thailand / Sasiwimon Warunsiri Paweenawat and Jessica Vechbanyongratana -- 10. Skill flows and the fourth industrial revolution: Future questions and directions for the ASEAN economic community / Anna Fink and Elisabetta Gentile -- Index. 330 $a"Regional integration plays an important role in the advance of economic and social development across many parts of the world. Generating growth and expanding markets, it boosts productivity through the exchange of ideas, technologies, and human resources. This book explores the key vision of the Association of Southeast Asian Nations (ASEAN): fostering the free flow of goods, services, investment, and skilled labor in order to establish a globally competitive region with a single market and production base. Bringing together contributions from renowned scholars in their respective fields, this book takes stock of the trends and patterns of skilled labor migration in the ASEAN, examining the existing literature and adding to it with unique insights drawn from original case studies and policy simulations. Identifying the challenges posed by recent significant changes, this book also looks to the future, to identify potential policy responses. The contributions dispel a common assumption that skill mobility is a zero-sum game, and instead contend that it can be mutually beneficial for both sides. With rigorous quantitative analysis this book will be a useful tool for both policy practitioners and policymakers as well as for researchers and students of international development, economics, and Asian studies"--$cProvided by publisher. 606 $aLabor mobility$zSoutheast Asia 606 $aSkilled labor$zSoutheast Asia 607 $aSoutheast Asia$2fast 610 $aMigration 610 $aLabor mobility 610 $aeconomic development 610 $aASEAN 610 $alabor migration 610 $asocioeconomic development 615 0$aLabor mobility 615 0$aSkilled labor 676 $a331.11422 700 $aElisabetta Gentile$4auth$01369993 702 $aGentile$b Elisabetta 712 02$aEdward Elgar Publishing, 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 801 2$bTH-BaUNE 906 $aBOOK 912 $a9910345970103321 996 $aSkilled labor mobility and migration$93397149 997 $aUNINA 999 $axxx$cu