05105nam 22006615 450 99646530230331620200704004318.03-540-73580-110.1007/978-3-540-73580-9(CKB)1000000000490194(SSID)ssj0000315666(PQKBManifestationID)11248906(PQKBTitleCode)TC0000315666(PQKBWorkID)10256312(PQKB)10928157(DE-He213)978-3-540-73580-9(MiAaPQ)EBC3067887(PPN)123163692(EXLCZ)99100000000049019420100301d2007 u| 0engurnn|008mamaatxtccrAbstraction, Reformulation, and Approximation[electronic resource] 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /edited by Ian Miguel, Wheeler Tuml1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XI, 420 p.) Lecture Notes in Artificial Intelligence ;4612Bibliographic Level Mode of Issuance: Monograph3-540-73579-8 Includes bibliographical references and index.Invited 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.Lecture Notes in Artificial Intelligence ;4612Artificial intelligenceComputersMathematical logicComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial intelligence.Computers.Mathematical logic.Computer logic.Artificial Intelligence.Theory of Computation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.004Miguel Ianedthttp://id.loc.gov/vocabulary/relators/edtTuml Wheeleredthttp://id.loc.gov/vocabulary/relators/edtBOOK996465302303316Abstraction, Reformulation and Approximation772062UNISA