LEADER 05105nam 22006615 450 001 996465302303316 005 20200704004318.0 010 $a3-540-73580-1 024 7 $a10.1007/978-3-540-73580-9 035 $a(CKB)1000000000490194 035 $a(SSID)ssj0000315666 035 $a(PQKBManifestationID)11248906 035 $a(PQKBTitleCode)TC0000315666 035 $a(PQKBWorkID)10256312 035 $a(PQKB)10928157 035 $a(DE-He213)978-3-540-73580-9 035 $a(MiAaPQ)EBC3067887 035 $a(PPN)123163692 035 $a(EXLCZ)991000000000490194 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAbstraction, Reformulation, and Approximation$b[electronic resource] $e7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /$fedited by Ian Miguel, Wheeler Tuml 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XI, 420 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v4612 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-73579-8 320 $aIncludes bibliographical references and index. 327 $aInvited Talks (Abstracts) -- State Abstraction in Real-Time Heuristic Search -- Abstraction and Reformulation in the Generation of Constraint Models -- A Framework for Integrating Optimization and Constraint Programming -- Research Papers -- DFS-Tree Based Heuristic Search -- Partial Pattern Databases -- CDB-PV: A Constraint Database-Based Program Verifier -- Generating Implied Boolean Constraints Via Singleton Consistency -- Reformulating Constraint Satisfaction Problems to Improve Scalability -- Reformulating Global Constraints: The Slide and Regular Constraints -- Relaxation of Qualitative Constraint Networks -- Dynamic Domain Abstraction Through Meta-diagnosis -- Channeling Abstraction -- Approximate Model-Based Diagnosis Using Greedy Stochastic Search -- Combining Perimeter Search and Pattern Database Abstractions -- Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic -- Tailoring Solver-Independent Constraint Models: A Case Study with Essence? and Minion -- A Meta-CSP Model for Optimal Planning -- Reformulation for Extensional Reasoning -- An Abstract Theory and Ontology of Motion Based on the Regions Connection Calculus -- Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning -- Model-Based Exploration in Continuous State Spaces -- Active Learning of Dynamic Bayesian Networks in Markov Decision Processes -- Boosting MUS Extraction -- Homogeneous Hierarchical Composition of Areas in Multi-robot Area Coverage -- Formalizing the Abstraction Process in Model-Based Diagnosis -- Boolean Approximation Revisited -- An Analysis of Map-Based Abstraction and Refinement -- Solving Difficult SAT Instances Using Greedy Clique Decomposition -- Abstraction and Complexity Measures -- Research Summaries -- Abstraction, Emergence, and Thought -- What?s Your Problem? The Problem of Problem Definition -- A Reformulation-Based Approach to Explanation in Constraint Satisfaction -- Integration of Constraint Programming and Metaheuristics -- Rule-Based Reasoning Via Abstraction -- Extensional Reasoning -- Reformulating Constraint Models Using Input Data -- Using Analogy Discovery to Create Abstractions -- Distributed CSPs: Why It Is Assumed a Variable per Agent? -- Decomposition of Games for Efficient Reasoning -- Generalized Constraint Acquisition -- Using Infeasibility to Improve Abstraction-Based Heuristics -- Leveraging Graph Locality Via Abstraction. 410 0$aLecture Notes in Artificial Intelligence ;$v4612 606 $aArtificial intelligence 606 $aComputers 606 $aMathematical logic 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$aMathematical logic. 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 $a004 702 $aMiguel$b Ian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTuml$b Wheeler$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465302303316 996 $aAbstraction, Reformulation and Approximation$9772062 997 $aUNISA