Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008980584/catalog> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- catalog abstract "It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.".
- catalog contributor b12620047.
- catalog contributor b12620048.
- catalog contributor b12620049.
- catalog created "c2002.".
- catalog date "2002".
- catalog date "c2002.".
- catalog dateCopyrighted "c2002.".
- catalog description "Includes bibliographical references and index.".
- catalog description "It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.".
- catalog description "Model Checking and Abstraction / Robert P. Kurshan -- Reformulation in Planning / Derek Long, Maria Fox and Muna Hamdi -- Spatiotemporal Abstraction of Stochastic Sequential Processes / Sridhar Mahadevan -- State Spate Relaxation and Search Strategies in Dynamic Programming / Aristide Mingozzi -- Admissible Moves in Two-Player Games / Tristan Cazenave -- Dynamic Bundling: Less Effort for More Solutions / Berthe Y. Choueiry and Amy M. Davis -- Symbolic Heuristic Search Using Decision Diagrams / Eric Hansen, Rong Zhou and Zhengzhu Feng -- On the Construction of Human-Automation Interfaces by Formal Abstraction / Michael Heymann and Asaf Degani -- Pareto Optimization of Temporal Decisions / Lina Khatib, Paul Morris and Robert Morris.".
- catalog extent "xi, 346 p. :".
- catalog hasFormat "Also available via the World Wide Web.".
- catalog identifier "3540439412 (softcover : alk. paper)".
- catalog isFormatOf "Also available via the World Wide Web.".
- catalog isPartOf "Lecture notes in computer science ; 2371. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 2371.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2002".
- catalog issued "c2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Also available via the World Wide Web.".
- catalog subject "006.3 21".
- catalog subject "Artificial intelligence Congresses.".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science Congresses.".
- catalog subject "Computer science.".
- catalog subject "Logic design.".
- catalog subject "QA75.5 .S27 2002".
- catalog tableOfContents "Model Checking and Abstraction / Robert P. Kurshan -- Reformulation in Planning / Derek Long, Maria Fox and Muna Hamdi -- Spatiotemporal Abstraction of Stochastic Sequential Processes / Sridhar Mahadevan -- State Spate Relaxation and Search Strategies in Dynamic Programming / Aristide Mingozzi -- Admissible Moves in Two-Player Games / Tristan Cazenave -- Dynamic Bundling: Less Effort for More Solutions / Berthe Y. Choueiry and Amy M. Davis -- Symbolic Heuristic Search Using Decision Diagrams / Eric Hansen, Rong Zhou and Zhengzhu Feng -- On the Construction of Human-Automation Interfaces by Formal Abstraction / Michael Heymann and Asaf Degani -- Pareto Optimization of Temporal Decisions / Lina Khatib, Paul Morris and Robert Morris.".
- catalog title "Abstraction, reformulation, and approximation : 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings / Sven Koenig, Robert C. Holte (eds.).".
- catalog type "Alberta (2002) swd".
- catalog type "Conference proceedings. fast".
- catalog type "text".