{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T04:06:54Z","timestamp":1749182814732,"version":"3.41.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1023\/a:1020521718123","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T20:12:43Z","timestamp":1048018363000},"page":"91-106","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical Programming Embeddings of Logic"],"prefix":"10.1007","volume":"29","author":[{"given":"Vivek S.","family":"Borkar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Chandru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjoy K.","family":"Mitter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5090946_CR1","volume-title":"A linear programming framework for logics of uncertainty","author":"K. A. Andersen","year":"1992","unstructured":"Andersen, K. A. and Hooker, J. N.: A linear programming framework for logics of uncertainty, Manuscript, Mathematical Institute, \u00c5rhus University, 8000 \u00c5rhus C,Denmark, 1992."},{"key":"5090946_CR2","volume-title":"Technical Report CC-91-13","author":"G. J. R. Araque","year":"1991","unstructured":"Araque, G. J. R. and Chandru, V.: Some facets of satisfiability, Technical Report CC-91-13, Institute for Interdisciplinary Engineering Studies, Purdue University, West Lafayette, IN 47907, USA, 1991."},{"key":"5090946_CR3","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/0305-0548(86)90056-0","volume":"13","author":"C. Blair","year":"1988","unstructured":"Blair, C., Jeroslow, R. G. and Lowe, J. K.: Some results and experiments in programming techniques for propositional logic, Comput. Oper. Res.\n13 (1988), 633\u2013645.","journal-title":"Comput. Oper. Res."},{"key":"5090946_CR4","unstructured":"Borkar, V. S., Chandru, V. and Mitter, S. K.: A linear programming model of first order logic, Technical Report IISc-CSA-95-5, Indian Institute of Science, 1995."},{"issue":"1","key":"5090946_CR5","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/102782.102789","volume":"38","author":"V. Chandru","year":"1991","unstructured":"Chandru, V. and Hooker, J. N.: Extended horn sets in propositional logic, J. ACM\n38(1) (1991), 205\u2013221.","journal-title":"J. ACM"},{"key":"5090946_CR6","doi-asserted-by":"crossref","unstructured":"Chandru, V. and Hooker, J. N.: Optimization Methods for Logical Inference, Wiley-Interscience, 1999.","DOI":"10.1002\/9781118033166"},{"key":"5090946_CR7","first-page":"670","volume":"33","author":"M. Conforti","year":"1994","unstructured":"Conforti, M. and Cornu\u00e9jols, G.: A class of logical inference problems soluble by linear programming, J. ACM\n33 (1994), 670\u2013675.","journal-title":"J. ACM"},{"key":"5090946_CR8","volume-title":"A hypergraph approach to logical inference for datalog formulae, working paper","author":"G. Gallo","year":"1990","unstructured":"Gallo, G. and Rago, G.: A hypergraph approach to logical inference for datalog formulae, working paper, Dip. di Informatica, University of Pisa, Italy, September 1990."},{"key":"5090946_CR9","volume-title":"A mathematical programming model for probabilistic logic, working paper 05-88-89","author":"J. N. Hooker","year":"1988","unstructured":"Hooker, J. N.: A mathematical programming model for probabilistic logic, working paper 05-88-89, Graduate School of Industrial Administration, Carnegie Mellon University, Pittsburgh, PA 15213, July 1988."},{"key":"5090946_CR10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1287\/ijoc.1.3.137","volume":"1","author":"J. N. Hooker","year":"1989","unstructured":"Hooker, J. N.: Input proofs and rank one cutting planes, ORSA J. Comput.\n1 (1989), 137\u2013145.","journal-title":"ORSA J. Comput."},{"key":"5090946_CR11","doi-asserted-by":"crossref","unstructured":"Hooker, J. N.: New methods for computing inferences in first order logic, Ann. Oper. Res. (1993), 479\u2013492.","DOI":"10.1007\/BF02027814"},{"key":"5090946_CR12","unstructured":"Jaffar, J. and Lassez, J.-L.: Constraint logic programming, Technical Report 86\/73, Department of Computer Science, Monash University, 1986."},{"key":"5090946_CR13","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and Lassez, J.-L.: Constraint logic programming, in Proc. 14th Symposium on Principles of Programming Languages, Munich, Jan. 1987, pp. 111\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"5090946_CR14","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. and Maher, M. J.: Constraint logic programming: A survey, J. Logic Programming\n19\/20 (1994), 503\u2013581.","journal-title":"J. Logic Programming"},{"key":"5090946_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0167-9236(88)90128-5","volume":"4","author":"R. G. Jeroslow","year":"1988","unstructured":"Jeroslow, R. G.: Computation-oriented reductions of predicate to propositional logic, Decision Support Systems\n4 (1988), 183\u2013197.","journal-title":"Decision Support Systems"},{"key":"5090946_CR16","unstructured":"Jeroslow, R. G.: Logic-Based Decision Support: Mixed Integer Model Formulation, Ann. Discrete Math.40, North-Holland, Amsterdam, 1989."},{"key":"5090946_CR17","volume-title":"Technical Report 93-15","author":"V. Kagan","year":"1993","unstructured":"Kagan, V., Nerode, A. and Subrahmanian, V. S.: Computing definite logic programs by partial instantiation and linear programming, Technical Report 93-15, Mathematical Sciences Institute, Cornell University, 1993."},{"key":"5090946_CR18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF01531078","volume":"1","author":"D. Kavvadias","year":"1990","unstructured":"Kavvadias, D. and Papadimitriou, C. H.: A linear programming approach to reasoning about probabilities, Ann. Math. Artificial Intelligence\n1 (1990), 189\u2013206.","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"5090946_CR19","unstructured":"Munkres, J. R.: Topology: A First Course, Prentice-Hall, 1975."},{"key":"5090946_CR20","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. J. Nilsson","year":"1986","unstructured":"Nilsson, N. J.: Probabilistic logic, Artificial Intelligence\n28 (1986), 71\u201387.","journal-title":"Artificial Intelligence"},{"key":"5090946_CR21","unstructured":"Rockafeller, R. T.: Convex Analysis, Princeton University Press, 1970."},{"key":"5090946_CR22","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming, Wiley, New York, 1986."},{"key":"5090946_CR23","unstructured":"Sch\u00f6ning, U.: Logic for Computer Scientists, Birkh\u00e4user, 1989."},{"key":"5090946_CR24","doi-asserted-by":"crossref","unstructured":"Wang, J.-C. and VandeVate, J.: Question-asking strategies for Horn clause systems, Ann. Math. Artificial Intelligence\n1 (1990).","DOI":"10.1007\/BF01531084"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020521718123.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020521718123\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020521718123.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:40:48Z","timestamp":1749123648000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020521718123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["5090946"],"URL":"https:\/\/doi.org\/10.1023\/a:1020521718123","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}