Cargando…

Logic-based decision support : mixed integer model formulation /

This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer programming and applied logic, as well as discussi...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Jeroslow, Robert G., 1942-1988
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
Colección:Annals of discrete mathematics ; 40.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn316553065
003 OCoLC
005 20231117015227.0
006 m o d
007 cr cn|||||||||
008 090320s1989 ne a ob 000 0 eng d
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OPELS  |d OCLCQ  |d OCLCF  |d OCLCO  |d DEBBG  |d N$T  |d IDEBK  |d E7B  |d MERUC  |d YDXCP  |d OCLCE  |d OCLCQ  |d COO  |d OCLCQ  |d DEBSZ  |d LEAUB  |d Q3C  |d OCLCQ  |d ADU  |d VLY  |d LUN  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 304610331  |a 609291244  |a 646775765  |a 1086407589  |a 1160041636  |a 1162222734  |a 1206430103 
020 |a 9780444871190 
020 |a 0444871195 
020 |a 9780080867809  |q (electronic bk.) 
020 |a 0080867804  |q (electronic bk.) 
020 |a 1281790427 
020 |a 9781281790422 
020 |a 9786611790424 
020 |a 661179042X 
035 |a (OCoLC)316553065  |z (OCoLC)304610331  |z (OCoLC)609291244  |z (OCoLC)646775765  |z (OCoLC)1086407589  |z (OCoLC)1160041636  |z (OCoLC)1162222734  |z (OCoLC)1206430103 
042 |a dlr 
050 4 |a T58.62  |b .J47 1989eb 
072 7 |a BUS  |x 019000  |2 bisacsh 
082 0 4 |a 658.4/03  |2 22 
084 |a 85.03  |2 bcl 
100 1 |a Jeroslow, Robert G.,  |d 1942-1988. 
245 1 0 |a Logic-based decision support :  |b mixed integer model formulation /  |c Robert G. Jeroslow. 
260 |a Amsterdam ;  |a New York :  |b North-Holland ;  |a New York, N.Y., U.S.A. :  |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,  |c 1989. 
300 |a 1 online resource (xv, 222 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Annals of discrete mathematics ;  |v 40 
520 |a This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer programming and applied logic, as well as discussing logic-based approaches to decision support which help to create more `intelligent' systems. Dividing naturally into two parts, the first four chapters are an overview of mixed-integer programming representability techniques. This is followed by five chapters on applied logic, expert systems, logic and databases, and complexity theory. It concludes with a summary of open research issues and an attempt to extrapolate trends in this rapidly developing area. 
504 |a Includes bibliographical references (pages 203-222). 
588 0 |a Print version record. 
505 0 |a Front Cover; Logic-Based Decision Support: Mixed Integer Model Formulation; Copyright Page; Contents; Introduction; PART I: MIXED-INTEGER MODEL FORMULATION; Lecture 1. Disjunctive Representations; Lecture 2. Furthtr Illustrations; Lecture 3. Constructions which Parallel Set Operations; Lecture 4. Topics in Representability; PART II: LOGIC-BASED APPROACHES TO DECISION SUPPORT; Lecture 5. Propositional Logic and Mixed Integer Programming; Lecture 6. A Primer on Predicate Logic; Lecture 7. Computational Complexity above NP: A Retrospective Overview. 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
546 |a English. 
650 0 |a Decision support systems. 
650 0 |a Decision making  |x Mathematical models. 
650 0 |a Logic, Symbolic and mathematical. 
650 2 |a Decision Support Systems, Management  |0 (DNLM)D003660 
650 2 |a Decision Support Techniques  |0 (DNLM)D003661 
650 6 |a Syst�emes d'aide �a la d�ecision.  |0 (CaQQLa)201-0167241 
650 6 |a Prise de d�ecision  |x Mod�eles math�ematiques.  |0 (CaQQLa)201-0007679 
650 6 |a Logique symbolique et math�ematique.  |0 (CaQQLa)201-0001166 
650 7 |a BUSINESS & ECONOMICS  |x Decision-Making & Problem Solving.  |2 bisacsh 
650 7 |a Decision making  |x Mathematical models  |2 fast  |0 (OCoLC)fst00889048 
650 7 |a Decision support systems  |2 fast  |0 (OCoLC)fst00889080 
650 7 |a Logic, Symbolic and mathematical  |2 fast  |0 (OCoLC)fst01002068 
776 0 8 |i Print version:  |a Jeroslow, Robert G., 1942-  |t Logic-based decision support.  |d Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989  |z 0444871195  |z 9780444871190  |w (DLC) 88031027  |w (OCoLC)18683415 
830 0 |a Annals of discrete mathematics ;  |v 40. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444871190  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=01675060&volume=40  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/01675060/40  |z Texto completo