Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Record 15 of 560
Previous Record Next Record
E-Book/E-Doc
Author Dechter, Rina, 1950-

Title Constraint processing / Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi.

Imprint San Francisco : Morgan Kaufmann Publishers, ©2003.

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
Description 1 online resource (xx, 481 pages) : illustrations
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series The Morgan Kaufmann Series in Artificial Intelligence Ser.
Morgan Kaufmann Series in Artificial Intelligence Ser.
Bibliography Includes bibliographical references (pages 441-458) and index.
Note Print version record.
Contents Preface; Introduction; Constraint Networks; Consistency-Enforcing Algorithms: Constraint Propagation; Directional Consistency; General Search Strategies; General Search Strategies: Look-Back; Local Search Algorithms; Advanced Consistency Methods; Tree-Decomposition Methods; Hybrid of Search and Inference: Time-Space Trade-offs; Tractable Constraint Languages; Temporal Constraint Networks; Constraint Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography.
Summary Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied, without expressing how. The field of constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases and programming languages, operations research, management science, and applied mathematics. Today, constraint problems are used to model cognitive tasks in vision, language comprehension, default reasoning, diagnosis, scheduling, temporal and spatial reasoning. In Constraint Processing, Rina Dechter, synthesizes these contributions, along with her own significant work, to provide the first comprehensive examination of the theory that underlies constraint processing algorithms. Throughout, she focuses on fundamental tools and principles, emphasizing the representation and analysis of algorithms. Examines the basic practical aspects of each topic and then tackles more advanced issues, including current research challenges Builds the reader's understanding with definitions, examples, theory, algorithms and complexity analysis Synthesizes three decades of researchers work on constraint processing in AI, databases and programming languages, operations research, management science, and applied mathematics.
Language English.
Subject Constraint programming (Computer science)
Programmation par contraintes.
COMPUTERS -- Programming -- Open Source.
COMPUTERS -- Software Development & Engineering -- Tools.
COMPUTERS -- Software Development & Engineering -- General.
Constraint programming (Computer science)
Constraint-Programmierung
Inteligência artificial.
Other Form: Dechter, Rina, 1950- Constraint processing. San Francisco : Morgan Kaufmann Publishers, ©2003 1558608907 (DLC) 2003044562 (OCoLC)51800480
ISBN 1558608907
9781558608900
0080502954 (ebook)
9780080502953 (ebook)
1281072958
9781281072955
9786611072957
6611072950
Standard No. AU@ 000054164640
CHNEW 001007494
DEBBG BV042032716
DEBBG BV042307752
DEBBG BV043044077
DEBSZ 405297491
DEBSZ 414181883
DEBSZ 422168920
DEBSZ 430443129
DEBSZ 449105776
NZ1 12434298
UKMGB 017581932
DKDLA 820120-katalog:9910110386805765

 
    
Available items only