Logic-based decision support: mixed integer model formulation
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1989
|
| Schriftenreihe: | Annals of discrete mathematics
40 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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 Includes bibliographical references (p. 203-222) |
| Beschreibung: | 1 Online-Ressource (1 online resource (xv, 222 p.)) |
| ISBN: | 9780444871190 0444871195 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV039834225 | ||
| 003 | DE-604 | ||
| 005 | 20171108 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 120124s1989 sz |||| o||u| ||||||eng d | ||
| 020 | |a 9780444871190 |9 978-0-444-87119-0 | ||
| 020 | |a 0444871195 |9 0-444-87119-5 | ||
| 035 | |a (ZDB-33-EBS)ocn316553065 | ||
| 035 | |a (OCoLC)316553065 | ||
| 035 | |a (DE-599)BVBBV039834225 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a sz |c XA-CH | ||
| 049 | |a DE-526 |a DE-1046 | ||
| 082 | 0 | |a 658.4/03 |2 22 | |
| 084 | |a QH 422 |0 (DE-625)141576: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 245 | 1 | 0 | |a Logic-based decision support |b mixed integer model formulation |c Robert G. Jeroslow |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1989 | |
| 300 | |a 1 Online-Ressource (1 online resource (xv, 222 p.)) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Annals of discrete mathematics |v 40 | |
| 500 | |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 | ||
| 500 | |a Includes bibliographical references (p. 203-222) | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Decision support systems | |
| 650 | 4 | |a Decision making / Mathematical models | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Systemes d'aide a la decision | |
| 650 | 4 | |a Prise de decision / Modeles mathematiques | |
| 650 | 4 | |a Logique symbolique et mathematique | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gemischt-ganzzahlige Optimierung |0 (DE-588)4156566-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidungsunterstützungssystem |0 (DE-588)4191815-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidung |0 (DE-588)4014904-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Entscheidungsunterstützungssystem |0 (DE-588)4191815-0 |D s |
| 689 | 0 | 1 | |a Gemischt-ganzzahlige Optimierung |0 (DE-588)4156566-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Entscheidung |0 (DE-588)4014904-3 |D s |
| 689 | 2 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Entscheidungsunterstützungssystem |0 (DE-588)4191815-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Jeroslow, Robert G. |d 1942-1988 |e Sonstige |0 (DE-588)17216866X |4 oth | |
| 830 | 0 | |a Annals of discrete mathematics |v 40 |w (DE-604)BV004511910 |9 40 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444871190 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024694229 | ||
Datensatz im Suchindex
| _version_ | 1804148764951183360 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)17216866X |
| building | Verbundindex |
| bvnumber | BV039834225 |
| classification_rvk | QH 422 SK 130 ST 120 ST 285 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316553065 (OCoLC)316553065 (DE-599)BVBBV039834225 |
| dewey-full | 658.4/03 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 658 - General management |
| dewey-raw | 658.4/03 |
| dewey-search | 658.4/03 |
| dewey-sort | 3658.4 13 |
| dewey-tens | 650 - Management and auxiliary services |
| discipline | Informatik Mathematik Wirtschaftswissenschaften |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03483nmm a2200709zcb4500</leader><controlfield tag="001">BV039834225</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171108 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">120124s1989 sz |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444871190</subfield><subfield code="9">978-0-444-87119-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444871195</subfield><subfield code="9">0-444-87119-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316553065</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316553065</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039834225</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-526</subfield><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">658.4/03</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 422</subfield><subfield code="0">(DE-625)141576:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic-based decision support</subfield><subfield code="b">mixed integer model formulation</subfield><subfield code="c">Robert G. Jeroslow</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (1 online resource (xv, 222 p.))</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Annals of discrete mathematics</subfield><subfield code="v">40</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 203-222)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decision support systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decision making / Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systemes d'aide a la decision</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prise de decision / Modeles mathematiques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathematique</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gemischt-ganzzahlige Optimierung</subfield><subfield code="0">(DE-588)4156566-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidungsunterstützungssystem</subfield><subfield code="0">(DE-588)4191815-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidung</subfield><subfield code="0">(DE-588)4014904-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entscheidungsunterstützungssystem</subfield><subfield code="0">(DE-588)4191815-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Gemischt-ganzzahlige Optimierung</subfield><subfield code="0">(DE-588)4156566-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Entscheidung</subfield><subfield code="0">(DE-588)4014904-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Entscheidungsunterstützungssystem</subfield><subfield code="0">(DE-588)4191815-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jeroslow, Robert G.</subfield><subfield code="d">1942-1988</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)17216866X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Annals of discrete mathematics</subfield><subfield code="v">40</subfield><subfield code="w">(DE-604)BV004511910</subfield><subfield code="9">40</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444871190</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024694229</subfield></datafield></record></collection> |
| id | DE-604.BV039834225 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:12:20Z |
| institution | BVB |
| isbn | 9780444871190 0444871195 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024694229 |
| oclc_num | 316553065 |
| open_access_boolean | |
| owner | DE-526 DE-1046 |
| owner_facet | DE-526 DE-1046 |
| physical | 1 Online-Ressource (1 online resource (xv, 222 p.)) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | North-Holland |
| record_format | marc |
| series | Annals of discrete mathematics |
| series2 | Annals of discrete mathematics |
| spelling | Logic-based decision support mixed integer model formulation Robert G. Jeroslow Amsterdam North-Holland 1989 1 Online-Ressource (1 online resource (xv, 222 p.)) txt rdacontent c rdamedia cr rdacarrier Annals of discrete mathematics 40 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 Includes bibliographical references (p. 203-222) Mathematisches Modell Decision support systems Decision making / Mathematical models Logic, Symbolic and mathematical Systemes d'aide a la decision Prise de decision / Modeles mathematiques Logique symbolique et mathematique Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Entscheidungsunterstützungssystem (DE-588)4191815-0 gnd rswk-swf Entscheidung (DE-588)4014904-3 gnd rswk-swf Entscheidungsunterstützungssystem (DE-588)4191815-0 s Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 s DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Entscheidung (DE-588)4014904-3 s Datenverarbeitung (DE-588)4011152-0 s Jeroslow, Robert G. 1942-1988 Sonstige (DE-588)17216866X oth Annals of discrete mathematics 40 (DE-604)BV004511910 40 http://www.sciencedirect.com/science/book/9780444871190 Verlag Volltext |
| spellingShingle | Logic-based decision support mixed integer model formulation Annals of discrete mathematics Mathematisches Modell Decision support systems Decision making / Mathematical models Logic, Symbolic and mathematical Systemes d'aide a la decision Prise de decision / Modeles mathematiques Logique symbolique et mathematique Datenverarbeitung (DE-588)4011152-0 gnd Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Entscheidungsunterstützungssystem (DE-588)4191815-0 gnd Entscheidung (DE-588)4014904-3 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4156566-6 (DE-588)4033447-8 (DE-588)4191815-0 (DE-588)4014904-3 |
| title | Logic-based decision support mixed integer model formulation |
| title_auth | Logic-based decision support mixed integer model formulation |
| title_exact_search | Logic-based decision support mixed integer model formulation |
| title_full | Logic-based decision support mixed integer model formulation Robert G. Jeroslow |
| title_fullStr | Logic-based decision support mixed integer model formulation Robert G. Jeroslow |
| title_full_unstemmed | Logic-based decision support mixed integer model formulation Robert G. Jeroslow |
| title_short | Logic-based decision support |
| title_sort | logic based decision support mixed integer model formulation |
| title_sub | mixed integer model formulation |
| topic | Mathematisches Modell Decision support systems Decision making / Mathematical models Logic, Symbolic and mathematical Systemes d'aide a la decision Prise de decision / Modeles mathematiques Logique symbolique et mathematique Datenverarbeitung (DE-588)4011152-0 gnd Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Entscheidungsunterstützungssystem (DE-588)4191815-0 gnd Entscheidung (DE-588)4014904-3 gnd |
| topic_facet | Mathematisches Modell Decision support systems Decision making / Mathematical models Logic, Symbolic and mathematical Systemes d'aide a la decision Prise de decision / Modeles mathematiques Logique symbolique et mathematique Datenverarbeitung Gemischt-ganzzahlige Optimierung Künstliche Intelligenz Entscheidungsunterstützungssystem Entscheidung |
| url | http://www.sciencedirect.com/science/book/9780444871190 |
| volume_link | (DE-604)BV004511910 |
| work_keys_str_mv | AT jeroslowrobertg logicbaseddecisionsupportmixedintegermodelformulation |