HOME > Detail View

Detail View

Constraint-based reasoning

Constraint-based reasoning (Loan 1 times)

Material type
단행본
Personal Author
Freuder, Eugene C. Mackworth, Alan K.
Title Statement
Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth.
Publication, Distribution, etc
Cambridge, Mass. :   MIT Press,   1994.  
Physical Medium
403 p. : ill. ; 26 cm.
ISBN
0262560755 :
General Note
"A Bradford book."  
Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992.  
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Constraints (Artificial intelligence). Reasoning.
000 00884camuuu200265 a 4500
001 000000917032
005 19990115104658.0
008 930607s1994 maua b 001 0 eng
010 ▼a 93021600
020 ▼a 0262560755 : ▼c $41.94
040 ▼a DLC ▼c DLC ▼d DLC ▼d 244002
049 0 ▼l 151011520 ▼l 151011399
050 0 0 ▼a Q340 ▼b .C65 1994
082 0 0 ▼a 006.3 ▼2 20
090 ▼a 006.3 ▼b C758
245 0 0 ▼a Constraint-based reasoning / ▼c edited by Eugene C. Freuder and Alan K. Mackworth.
260 ▼a Cambridge, Mass. : ▼b MIT Press, ▼c 1994.
300 ▼a 403 p. : ▼b ill. ; ▼c 26 cm.
500 ▼a "A Bradford book."
500 ▼a Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Constraints (Artificial intelligence).
650 0 ▼a Reasoning.
700 1 ▼a Freuder, Eugene C.
700 1 ▼a Mackworth, Alan K.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 006.3 C758 Accession No. 151011399 Availability Available Due Date Make a Reservation Service C
No. 2 Location Sejong Academic Information Center/Science & Technology/ Call Number 006.3 C758 Accession No. 151011520 Availability Available Due Date Make a Reservation Service C

Contents information

Table of Contents


CONTENTS
Introduction to the Special Volume on Constraint-Based Reasoning = 1
The logic of constraint satisfaction = 3
Partial contraint satisfaction = 21
Constraint reasoning based on interval arithmetic : the tolerance propagation approach = 71
Constraint satisfaction using constraint logic programming = 113
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems = 161
Arc consistency: parallelism and domain dependence = 207
Structure identification in relational data = 237
Learning to improve constraint-based scheduling = 271
Reasoning about qualitative temporal information = 297
A geometric constraint engine = 327
A theory of conflict resolution in planning = 361
Index = 393


New Arrivals Books in Related Fields

Cartwright, Hugh M. (2021)
한국소프트웨어기술인협회. 빅데이터전략연구소 (2021)