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
