LEADER 03316oam 2200445Ka 450 001 9910260644903321 005 20160803105141.0 035 $a(CKB)2670000000263650 035 $a(OCoLC)827013085 035 $a(OCoLC-P)827013085 035 $a(MaCbMITP)2122 035 $a(PPN)259165875 035 $a(EXLCZ)992670000000263650 100 $a20130208d1994 uy 0 101 0 $aeng 135 $aurcnu---unuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aConstraint-based reasoning /$fedited by Eugene C. Freuder and Alan K. Mackworth 210 $aCambridge, Mass. $cMIT Press$d1994 215 $a1 online resource (403 pages) $cillustrations 300 $a"A Bradford book." 300 $aReprinted from Artificial intelligence, volume 58, numbers 1-3, 1992. 311 $a0-262-28844-3 330 $aConstraint-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. 606 $aConstraints (Artificial intelligence) 606 $aReasoning 610 $aCOMPUTER SCIENCE/Artificial Intelligence 615 0$aConstraints (Artificial intelligence) 615 0$aReasoning. 676 $a006.3 701 $aFreuder$b Eugene C$01207762 701 $aMackworth$b Alan K$0305375 801 0$bOCoLC-P 801 1$bOCoLC-P 906 $aBOOK 912 $a9910260644903321 996 $aConstraint-based reasoning$92786361 997 $aUNINA LEADER 01738oam 2200493I 450 001 9910709658703321 005 20180601084930.0 035 $a(CKB)5470000002471649 035 $a(OCoLC)1038274718 035 $a(OCoLC)995470000002471649 035 $a(EXLCZ)995470000002471649 100 $a20180601d1983 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDevelopment and marketing of a prosthetic urinary control valve system $efinal report / John B. Tenney [and three others] 210 1$aMarshall Space Flight Center, Alabama :$cGeorge C. Marshall Space Flight Center,$d[1983?] 215 $a1 online resource (various pagings) $cillustrations 225 1 $aNASA/CR ;$v170994 300 $a"Period of performance: January 1978-December 1983." 320 $aIncludes bibliographical references (pages 21-1-21-7). 517 $aDevelopment and marketing of a prosthetic urinary control valve system 606 $aProsthetic devices$2nasat 606 $aMarketing$2nasat 606 $aPressure effects$2nasat 606 $aImplantation$2nasat 606 $aPrototypes$2nasat 615 7$aProsthetic devices. 615 7$aMarketing. 615 7$aPressure effects. 615 7$aImplantation. 615 7$aPrototypes. 700 $aTenney$b John B.$01402640 712 02$aGeorge C. Marshall Space Flight Center, 712 02$aRochester General Hospital (Rochester, N.Y.) 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910709658703321 996 $aDevelopment and marketing of a prosthetic urinary control valve system$93473574 997 $aUNINA