Cargando…
Optimization methods for logical inference
Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problem...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Wiley
2011
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2018627 |
| _version_ | 1780946762270244864 |
|---|---|
| author | Chandru, Vijay Hooker, John |
| author_facet | Chandru, Vijay Hooker, John |
| author_sort | Chandru, Vijay |
| collection | CERN |
| description | Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic in |
| id | cern-2018627 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2011 |
| publisher | Wiley |
| record_format | invenio |
| spelling | cern-20186272021-04-21T20:18:49Zhttp://cds.cern.ch/record/2018627engChandru, VijayHooker, JohnOptimization methods for logical inferenceMathematical Physics and MathematicsMerging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic inWileyoai:cds.cern.ch:20186272011 |
| spellingShingle | Mathematical Physics and Mathematics Chandru, Vijay Hooker, John Optimization methods for logical inference |
| title | Optimization methods for logical inference |
| title_full | Optimization methods for logical inference |
| title_fullStr | Optimization methods for logical inference |
| title_full_unstemmed | Optimization methods for logical inference |
| title_short | Optimization methods for logical inference |
| title_sort | optimization methods for logical inference |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/2018627 |
| work_keys_str_mv | AT chandruvijay optimizationmethodsforlogicalinference AT hookerjohn optimizationmethodsforlogicalinference |