Constraint-based reasoning

Saved in:
Bibliographic Details
Other Authors: Freuder, Eugene C., Mackworth, Alan K.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, 1994.
Subjects:
ISBN: 9780262288446
Physical Description: 1 online zdroj (403 p.) : ill.

Cover

Table of contents

LEADER 02450cam a2200349 a 4500
001 75023
003 CZ ZlUTB
005 20200530174416.0
006 m d
007 cr un
008 130208s1994 maua sb 001 0 eng d
020 |a 9780262288446  |q (ebook) 
035 |a (OCoLC)827013085 
040 |a IEEEE  |c IEEEE  |d OCLCF 
245 0 0 |a Constraint-based reasoning  |h [elektronický zdroj] /  |c edited by Eugene C. Freuder and Alan K. Mackworth. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c 1994. 
300 |a 1 online zdroj (403 p.) :  |b ill. 
500 |a "A Bradford book." 
500 |a Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992. 
504 |a Includes bibliographical references and index. 
505 0 |a Introduction to the special volume on constraint-based reasoning / E.C. Freuder and A.K. Mackworth -- The logic of constraint satisfaction / A.K. Mackworth -- Partial constraint satisfaction / E.C. Freuder and R.J. Wallace -- Constraint reasoning based on interval arithmetic : the tolerance propagation approach / E. Hyvčonen -- Constraint satisfaction using constraint logic programming / P. Van Hentenryck, H. Simonis and M. Dincbas -- Minimizing conflicts : a heuristic repair method for constraint satisfaction and scheduling problems / S. Minton ... [et al.] -- Arc consistency : parallelism and domain dependence / P.R. Cooper and M.J. Swain -- Structure identification in relational data / R. Dechter and J. Pearl -- Learning to improve constraint-based scheduling / M. Zweben ... [et al.] -- Reasoning about qualitative temporal information / P. van Beek -- A geometric constraint engine / G.A. Kramer -- A theory of conflict resolution in planning / Q. Yang. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity 
650 0 |a Constraints (Artificial intelligence) 
650 0 |a Reasoning. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Freuder, Eugene C. 
700 1 |a Mackworth, Alan K. 
776 0 8 |i Print version:  |t Constraint-based reasoning.  |d Cambridge, Mass. : MIT Press, 1994  |z 0262560755  |w (DLC) 93021600  |w (OCoLC)28336593 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 75023  |d 75023