LEADER 06471nam 22007215 450 001 9910143900703321 005 20251116234308.0 010 $a3-540-45622-8 024 7 $a10.1007/3-540-45622-8 035 $a(CKB)1000000000211775 035 $a(SSID)ssj0000320771 035 $a(PQKBManifestationID)11226739 035 $a(PQKBTitleCode)TC0000320771 035 $a(PQKBWorkID)10249070 035 $a(PQKB)11696987 035 $a(DE-He213)978-3-540-45622-3 035 $a(MiAaPQ)EBC3071976 035 $a(PPN)15522817X 035 $a(EXLCZ)991000000000211775 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAbstraction, Reformulation, and Approximation $e5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /$fedited by Sven Koenig, Robert C. Holte 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XI, 352 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2371 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-43941-2 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- Model Checking and Abstraction -- Reformulation in Planning -- Spatiotemporal Abstraction of Stochastic Sequential Processes -- State Space Relaxation and Search Strategies in Dynamic Programming -- Invited Presentations -- Admissible Moves in Two-Player Games -- Dynamic Bundling: Less Effort for More Solutions -- Symbolic Heuristic Search Using Decision Diagrams -- On the Construction of Human-Automation Interfaces by Formal Abstraction -- Pareto Optimization of Temporal Decisions -- An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection -- A Tractable Query Cache by Approximation -- An Algebraic Framework for Abstract Model Checking -- Action Timing Discretization with Iterative-Refinement -- Formalizing Approximate Objects and Theories: Some Initial Results -- Model Minimization in Hierarchical Reinforcement Learning -- Learning Options in Reinforcement Learning -- Approximation Techniques for Non-linear Problems with Continuum of Solutions -- Approximation of Relations by Propositional Formulas: Complexity and Semantics -- Abstracting Visual Percepts to Learn Concepts -- Short Presentations -- PAC Meditation on Boolean Formulas -- On the Reformulation of Vehicle Routing Problems and Scheduling Problems -- The Oracular Constraints Method -- Performance of Lookahead Control Policies in the Face of Abstractions and Approximations -- TTree: Tree-Based State Generalization with Temporally Abstract Actions -- Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction -- Research Summaries -- Abstracting Imperfect Information Game Trees -- Using Abstraction for Heuristic Search and Planning -- Approximation Techniques in Multiagent Learning -- Abstraction and Reformulation in GraphPlan -- Abstract Reasoning for Planning and Coordination -- Research Summary: Abstraction Techniques, and Their Value -- Reformulation of Non-binary Constraints -- Reformulating Combinatorial Optimization as Constraint Satisfaction -- Autonomous Discovery of Abstractions through Interaction with an Environment -- Interface Verification: Discrete Abstractions of Hybrid Systems -- Learning Semi-lattice Codebooks for Image Compression -- Research Summary -- Principled Exploitation of Heuristic Information -- Reformulation of Temporal Constraint Networks. 330 $aIt has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000. 410 0$aLecture Notes in Artificial Intelligence ;$v2371 606 $aArtificial intelligence 606 $aComputers 606 $aLogic, Symbolic and mathematical 606 $aComputer logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 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 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer logic. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 676 $a006.3 702 $aKoenig$b Sven$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHolte$b Robert C$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSARA 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143900703321 996 $aAbstraction, Reformulation and Approximation$9772062 997 $aUNINA LEADER 03281nam 22007215 450 001 9910983378303321 005 20250626164248.0 010 $a9789819789313 010 $a9819789311 024 7 $a10.1007/978-981-97-8931-3 035 $a(CKB)37391278200041 035 $a(MiAaPQ)EBC31892391 035 $a(Au-PeEL)EBL31892391 035 $a(DE-He213)978-981-97-8931-3 035 $a(OCoLC)1499721134 035 $a(EXLCZ)9937391278200041 100 $a20250128d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aControlling Environmental Pollution $ePractical Solutions /$fedited by Abu Zahrim Yaser, Mohd Armi Abu Samah, Fazilah Ariffin, A. K. Haghi 205 $a1st ed. 2025. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025. 215 $a1 online resource (497 pages) 225 0 $aEarth and Environmental Science Series 311 08$a9789819789306 311 08$a9819789303 327 $aGlobal scenario and challenges of environmental pollution -- Food security and environmental pollution -- Environmental pollution in agriculture sectors -- Environmental pollution in biomedical and pharmaceutical sectors -- Sustainable approaches to mitigate environmental pollution -- Water resources pollution management study in Sungai Langat basin -- Long term hydrological implications of land-use land-cover alteration interweaving climate changes in tropical river flow regime. 330 $aThis book highlights current efforts and research on pollution management and advanced technology for pollution treatment. It presents an overview of various aspects of environmental pollution, including water resources management in minimizing the pollution effect. Recent achievements in air pollution monitoring and control including sustainable urban design are also discussed. Chapters in the book also focus on tackling food waste disposal and advanced techniques on pollution treatment. The book concludes with a discussion of a special case study on Malaysian agricultural industry efforts to tackle pollution. 606 $aPollution 606 $aSustainability 606 $aBioclimatology 606 $aRefuse and refuse disposal 606 $aEnvironmental management 606 $aPollution 606 $aSustainability 606 $aClimate Change Ecology 606 $aWaste Management/Waste Technology 606 $aEnvironmental Management 615 0$aPollution. 615 0$aSustainability. 615 0$aBioclimatology. 615 0$aRefuse and refuse disposal. 615 0$aEnvironmental management. 615 14$aPollution. 615 24$aSustainability. 615 24$aClimate Change Ecology. 615 24$aWaste Management/Waste Technology. 615 24$aEnvironmental Management. 676 $a363.73 700 $aAbu Zahrim Yaser 701 $aAbu Samah$b Mohd Armi$01784308 701 $aAriffin$b Fazilah$01784309 701 $aHaghi$b A. K$0861344 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983378303321 996 $aControlling Environmental Pollution$94525260 997 $aUNINA