Narrow search
Showing 1 - 4 of 4
Cover Image
A Declarative Modeling Framework that Integrates Solution Methods
Hooker, J.N.; Kim, Hak-Jin; Ottosson, G. - 2001
Persistent link: https://www.econbiz.de/10008216668
Cover Image
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
Andersen, K.A.; Hooker, J.N. - 1996
Persistent link: https://www.econbiz.de/10008220840
Cover Image
Boolean regression
Boros, E.; Hammer, P.L.; Hooker, J.N. - 1995
Persistent link: https://www.econbiz.de/10008223557
Cover Image
New methods for computing inferences in first order logic
Hooker, J.N. - 1993
Persistent link: https://www.econbiz.de/10008224714