LEADER 00000cam 2200673Ii 4500 001 184918994 003 OCoLC 005 20181101045624.9 006 m o d 007 cr cn||||||||| 008 071220s2007 gw a ob 101 0 eng d 019 170932399|a227333819|a271299092|a288304491|a613680297 |a767241806|a785777421|a880116598|a964910609|a1005743729 |a1035667642|a1044300621 020 9783540735809 020 3540735801 020 9783540735793 020 3540735798 024 7 10.1007/978-3-540-73580-9|2doi 035 (OCoLC)184918994|z(OCoLC)170932399|z(OCoLC)227333819 |z(OCoLC)271299092|z(OCoLC)288304491|z(OCoLC)613680297 |z(OCoLC)767241806|z(OCoLC)785777421|z(OCoLC)880116598 |z(OCoLC)964910609|z(OCoLC)1005743729|z(OCoLC)1035667642 |z(OCoLC)1044300621 037 978-3-540-73579-3|bSpringer|nhttp://www.springerlink.com 040 GW5XE|beng|epn|erda|cGW5XE|dGW5XE|dCEF|dOCLCQ|dGZM|dSTF |dCOO|dYNG|dNUI|dMND|dMYPMP|dE7B|dOCLCO|dOCLCQ|dA7U|dOCLCQ |dOCLCA|dOCLCF|dBEDGE|dOCLCQ|dOCLCO|dYDXCP|dIDEBK|dOCLCQ |dSLY|dOCLCO|dOCL|dOCLCO|dEBLCP|dDEBSZ|dOCLCQ|dOCLCO |dOCLCQ|dVT2|dSHS|dOCLCQ|dUAB|dESU|dOCLCQ|dU3W|dAU@|dOCLCQ 049 MAIN 050 4 QA75.5|b.S27 2007eb 072 7 UYQ|2bicssc 072 7 TJFM1|2bicssc 072 7 COM004000|2bisacsh 072 7 QA|2lcco 082 04 004|222 111 2 SARA 2007|d(2007 :|cWhistler, B.C.)|0http://id.loc.gov/ authorities/names/nb2007019600 245 10 Abstraction, reformulation, and approximation :|b7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /|cIan Miguel, Wheeler Ruml (eds.). 246 30 SARA 2007 264 1 Berlin ;|aNew York :|bSpringer,|c2007. 300 1 online resource (xi, 418 pages) :|billustrations. 336 text|btxt|2rdacontent 337 computer|bc|2rdamedia 338 online resource|bcr|2rdacarrier 340 |gpolychrome|2rdacc|0http://rdaregistry.info/termList/ RDAColourContent/1003 490 1 LNCS sublibrary. SL 7, Artificial intelligence 490 1 Lecture notes in computer science,|x0302-9743 ;|v4612. |aLecture notes in artificial intelligence 504 Includes bibliographical references and index. 505 0 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. 520 This book constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2007, held in Whistler, Canada, in July 2007. The 26 revised full papers presented together with the abstracts of 3 invited papers and 13 research summaries were carefully reviewed and selected for inclusion in the book. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automated reasoning, automatic programming, cognitive modelling, constraint programming, design, diagnosis, machine learning, model-based reasoning, planning, reasoning, scheduling, search, theorem proving, and tutoring. 588 0 Print version record. 650 0 Computer science|vCongresses.|0http://id.loc.gov/ authorities/subjects/sh2008101220 650 0 Artificial intelligence|vCongresses.|0http://id.loc.gov/ authorities/subjects/sh2007101476 655 4 Electronic books. 655 7 Conference papers and proceedings.|2fast|0http:// id.worldcat.org/fast/1423772 655 7 Conference papers and proceedings.|2lcgft|0http:// id.loc.gov/authorities/genreForms/gf2014026068 700 1 Miguel, Ian.|0http://id.loc.gov/authorities/names/ n2003013124 700 1 Ruml, Wheeler.|0http://id.loc.gov/authorities/names/ nb2007019601 776 08 |iPrint version:|aSARA 2007 (2007 : Whistler, B.C.). |tAbstraction, reformulation, and approximation.|dBerlin ; New York : Springer, 2007|z9783540735793|z3540735798 |w(DLC) 2007930461|w(OCoLC)155834299 830 0 LNCS sublibrary.|nSL 7,|pArtificial intelligence.|0http:// id.loc.gov/authorities/names/n2008077786 830 0 Lecture notes in computer science ;|0http://id.loc.gov/ authorities/names/n42015162|v4612. 830 0 Lecture notes in computer science.|pLecture notes in artificial intelligence.|0http://id.loc.gov/authorities/ names/n86736436 990 SpringerLink|bSpringer English/International eBooks 2007 - Full Set|c2018-10-31|yNew collection springerlink.ebooks2007|5OH1
|