Optimization Methods for Logical Inferen
β
Chandru, Vijay; Hooker, John
π
Article
π
2011
π
John Wiley & Sons, Inc.
π
English
β 573 KB
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