Constraint-Based Reasoning (Special Issues of Artificial Intelligence)

0 avg rating
( 0 ratings by GoodReads )
9780262560757: Constraint-Based Reasoning (Special Issues of Artificial Intelligence)

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. Yang.A Bradford Book.

"synopsis" may belong to another edition of this title.

About the Author:

Eugene C. Freuder is Professor of Computer Science at the University of New Hampshire. Alan K. Mackworth is Professor of Computer Science at the University of British Columbia.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Published by MIT Press
ISBN 10: 0262560755 ISBN 13: 9780262560757
New Quantity Available: > 20
Seller
INDOO
(Avenel, NJ, U.S.A.)
Rating
[?]

Book Description MIT Press. Book Condition: New. Brand New. Bookseller Inventory # 0262560755

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 30.96
Convert Currency

Add to Basket

Shipping: US$ 3.50
Within U.S.A.
Destination, Rates & Speeds

2.

Published by A Bradford Book (1994)
ISBN 10: 0262560755 ISBN 13: 9780262560757
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description A Bradford Book, 1994. Paperback. Book Condition: New. book. Bookseller Inventory # 0262560755

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.64
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

ISBN 10: 0262560755 ISBN 13: 9780262560757
New Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97802625607571.0

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 154.80
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds