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: | Chandru, Vijay, Hooker, John |
---|---|
Lenguaje: | eng |
Publicado: |
Wiley
2011
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2018627 |
Ejemplares similares
-
Logic-based methods for optimization: combining optimization and constraint satisfaction
por: Hooker, John
Publicado: (2011) -
Admissibility of logical inference rules
por: Rybakov, VV
Publicado: (1997) -
The logical foundations of statistical inference
por: Kyburg, Henry E
Publicado: (1974) -
Integrated Methods for Optimization
por: Hooker, John N
Publicado: (2006) -
Handbook of the logic of argument and inference: the turn towards the practical
por: Gabbay, D M, et al.
Publicado: (2002)