OPAL - OHIO PRIVATE ACADEMIC LIBRARIES / Muskingum

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