Constraint-Based Reasoning (Special Issues of Artificial Intelligence)

Description: Constraint-Based Reasoning (Special Issues of Artificial Intelligence) [Paperback] Freuder, Eugene C and Mackworth, Alan K Product Overview Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware. Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages.Contents Introduction, E. C. Freuder, A. K. Mackworth - The Logic of Constraint Satisfaction, A. K. Mackworth - Partial Constraint Satisfaction, E. C. Freuder, R. J. Wallace - Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, E. Hyvonen - Constraint Satisfaction Using Constraint Logic Programming, P. Van Hentenryck, H. Simonis, M. Dincbas - Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird - Arc Consistency: Parallelism and Domain Dependence, P. R. Cooper, M. J. Swain - Structure Identification in Relational Data, R. Dechter, J. Pearl - Learning to Improve Constraint-Based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey - Reasoning about Qualitative Temporal Information, P. van Beek - A Geometric Constraint Engine, G. A. Kramer - A Theory of Conflict Resolution in Planning, Q. YangA Bradford Book. Read more Details Publisher ‏ : ‎ Bradford Book (February 4, 1994) Language ‏ : ‎ English Paperback ‏ : ‎ 409 pages ISBN-10 ‏ : ‎ 0262560755 ISBN-13 ‏ : ‎ 57 Item Weight ‏ : ‎ 2.15 pounds Dimensions ‏ : ‎ 7.95 x 0.93 x 10.03 inches Best Sellers Rank: #9,814,930 in Books (See Top 100 in Books) #5,211 in Artificial Intelligence (Books) #15,841 in Artificial Intelligence & Semantics #90,773 in Professional #5,211 in Artificial Intelligence (Books) #15,841 in Artificial Intelligence & Semantics We have been selling used books since 2012, and we've learned that the most important thing is doing good business. Honesty is our policy. Free Shipping We ship worldwide. We have multiple warehouses around the world, so please note the extended handling time on certain listings.

Price: 160.91 USD

Location: Williamsburg, Virginia

End Time: 2025-01-08T22:36:38.000Z

Shipping Cost: 0 USD