HOME > 상세정보

상세정보

Constraint-based reasoning

Constraint-based reasoning (1회 대출)

자료유형
단행본
개인저자
Freuder, Eugene C. Mackworth, Alan K.
서명 / 저자사항
Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth.
발행사항
Cambridge, Mass. :   MIT Press,   1994.  
형태사항
403 p. : ill. ; 26 cm.
ISBN
0262560755 :
일반주기
"A Bradford book."  
Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992.  
서지주기
Includes bibliographical references and index.
일반주제명
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.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 006.3 C758 등록번호 151011399 도서상태 대출가능 반납예정일 예약 서비스 C
No. 2 소장처 세종학술정보원/과학기술실/ 청구기호 006.3 C758 등록번호 151011520 도서상태 대출가능 반납예정일 예약 서비스 C

컨텐츠정보

목차


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


관련분야 신착자료

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