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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
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 |