{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T19:40:18Z","timestamp":1734810018470,"version":"3.32.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881908","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:37:28Z","timestamp":1104133048000},"page":"269-288","source":"Crossref","is-referenced-by-count":0,"title":["Inference flexibility in Horn clause knowledge bases and the simplex method"],"prefix":"10.1007","volume":"11","author":[{"given":"Jinchang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Linear Programming and Network Flows","author":"M. Bazaraa","year":"1977","unstructured":"Bazaraa, M. and Jarvis, J.,Linear Programming and Network Flows, Wiley, New York (1977)."},{"key":"CR2","series-title":"Technical Report","volume-title":"Computation and implementation of non-monotonic deductive databases","author":"C. Bell","year":"1991","unstructured":"Bell, C., Nerode, A., Ng, R. T. and Subrahmanian V. S., ?Computation and implementation of non-monotonic deductive databases?,Technical Report 91-67, Mathematical Sciences Institute, Cornell University, Ithaca, N.Y. (1991)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Bell, C., Nerode, A., Ng, R. T. and Subrahmanian, V. S., ?Implementing deductive databases by linear programming?,Proceedings of 1992 ACM SIGMOD\/SIGACT\/SIGART Symp. on Principles of Database Systems, pp. 283?292 (1992).","DOI":"10.1145\/137097.137892"},{"issue":"7","key":"CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Colmerauer, A., ?An introduction to Prolog III?,Comm. ACM 33(7), 69?91 (1990).","journal-title":"Comm. ACM"},{"key":"CR5","series-title":"Working paper","volume-title":"Logical inference: a mathematical programming perspective","author":"V. Chandru","year":"1988","unstructured":"Chandru, V. and Hooker, J. N., ?Logical inference: a mathematical programming perspective?,Working paper. School of Industrial Engineering, Purdue University, West Lafayette, Indiana (1988)."},{"key":"CR6","volume-title":"Programming in a Linear Structure","author":"G. B. Dantzig","year":"1948","unstructured":"Dantzig, G. B.,Programming in a Linear Structure, Comptroller, United States Air Force, Washington, D.C. (February 1948)."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Dantzig, G. B.,Linear Programming and Extensions, Princeton University Press (1963).","DOI":"10.7249\/R366"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M. and Putnam, H., ?A computing procedure for quantification theory?,J. ACM 7, 201?215 (1960).","journal-title":"J. ACM"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Dowling, W. F. and Gallier, J. H., ?Linear time algorithms for testing the satisfiability of Horn formulae?,J. Logic Programming 3, 267?284.","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Miniker, J. and Nicolas, J.-M., ?Logic and databases: a deductive approach?,Computing Surveys 16(2) (1984).","DOI":"10.1145\/356924.356929"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0167-9236(88)90097-8","volume":"4","author":"J. N. Hooker","year":"1988","unstructured":"Hooker, J. N., ?A quantitative approach to logical inference?,Decision Support Systems 4, 45?69 (1988).","journal-title":"Decision Support Systems"},{"key":"CR12","unstructured":"Harche, F., Hooker, J. N. and Thompson, G. L., ?A computational study of satisfiability algorithms for propositional logic?,Working paper, Graduate School of Industrial Administration, Carnegie Mellon University, Pittsburgh, Penn."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and Lassez, J.-L., ?Constraint logic programming?,Proceedings of ACM Symp. on Principles of Programming Languages, pp. 111?119 (1987).","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"CR14","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P. J. and Yap, R. H. C., ?The CLP(R) language and system?,ACM Transactions on Programming Languages and Systems 14(3), 339?395 (1992).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"CR15","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1287\/ijoc.3.2.135","volume":"3","author":"B. Jaumard","year":"1991","unstructured":"Jaumard, B., Hansen, P. and Poggi De Aragao, M., ?Column generation methods for probabilistic logic?,ORSA J. Computing 3(2), 135?148 (1991).","journal-title":"ORSA J. Computing"},{"key":"CR16","series-title":"Research Report","volume-title":"Representability in mixed integer programming","author":"R. G. Jeroslow","year":"1984","unstructured":"Jeroslow, R. G., ?Representability in mixed integer programming?,Research Report, College of Management, Georgia Institute of Technology, Atlanta, Georgia (1984)."},{"key":"CR17","series-title":"Research Report","volume-title":"Ten lectures on mixed integer model formulation for logic-based decision support","author":"R. G. Jeroslow","year":"1986","unstructured":"Jeroslow, R. G., ?Ten lectures on mixed integer model formulation for logic-based decision support?,Research Report, College of Management, Georgia Institute of Technology, Atlanta, Georgia (1986)."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1057\/jors.1985.67","volume":"36","author":"R. G. Jertoslow","year":"1985","unstructured":"Jertoslow, R. G. and Lowe, J. K., ?Experimental results on the new techniques for integer programming formulations?,J. Operational Research Soc. 36, 393?403 (1985).","journal-title":"J. Operational Research Soc."},{"key":"CR19","unstructured":"Jeroslow, R. G., Martin, R. K., Rardin, R. L. and Wang, J., ?Gainfree Leontief flow problems?, to appear inMathematical Programming."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1287\/ijoc.1.1.7","volume":"1","author":"R. G. Jeroslow","year":"1989","unstructured":"Jeroslow, R. G. and Wang, J., ?Dynamic programming, integral polyhedra and Horn clause knowledge bases?,ORSA J. Computing 1, 7?19 (1989).","journal-title":"ORSA J. Computing"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01531077","volume":"1","author":"R. G. Jeroslow","year":"1990","unstructured":"Jeroslow, R. G. and Wang, J., ?Solving propositional satisfiability problems?,Ann. Math. and Artificial Intelligence 1, 167?187 (1990).","journal-title":"Ann. Math. and Artificial Intelligence"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Kanellakis, P. C., Kuper, G. M. and Revesz, P. Z., ?Constraint query languages?,Proceedings of 1990 ACM SIGMOD\/SIGACT\/SIGART Symp. on Principles of Database Systems, pp. 299?313.","DOI":"10.1145\/298514.298582"},{"key":"CR23","series-title":"Working paper","volume-title":"Some notes on experiments on the running time behavior of some algorithms solving propositional logical problems","author":"I. Mittereiter","year":"1991","unstructured":"Mittereiter, I. and Radermacher, F. J., ?Some notes on experiments on the running time behavior of some algorithms solving propositional logical problems?,Working paper, FAW, Research Institute for Applied Knowledge Processing, P.O. Box 2060, D-7900 Ulm, Germany (1991)."},{"key":"CR24","series-title":"Technical Report","volume-title":"Computing circumscriptive deductive databases","author":"A. Nerode","year":"1991","unstructured":"Nerode, A., Ng, R. T. and Subrahmanian, V. S., ?Computing circumscriptive deductive databases?,Technical Report 91-66, Mathematical Science Institute, Cornell University, Ithaca, N.Y. (1991)."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1016\/0022-0000(84)90010-2","volume":"29","author":"David A. Plaisted","year":"1984","unstructured":"Plaisted, David A., ?Complete problems in the first-order predicate calculus?,J. Computer and System Science 29, 8?35 (1984).","journal-title":"J. Computer and System Science"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Vardi, M., ?The complexity of relational query languages?,Proceedings of the 14th ACM Symp. on Theory of Computing, pp. 137?146 (1982).","DOI":"10.1145\/800070.802186"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0024-3795(68)90002-5","volume":"1","author":"A. F. Veinott Jr.","year":"1968","unstructured":"Veinott, A. F., Jr., ?Extreme points of Leontief substitution systems?,Linear Algebra and its Applications 1, 181?194 (1968).","journal-title":"Linear Algebra and its Applications"},{"key":"CR28","volume-title":"Rule-based expert systems and discrete optimization","author":"J. Wang","year":"1990","unstructured":"Wang, J., ?Rule-based expert systems and discrete optimization?, Doctoral dissertation, Georgia Institute of Technology, Atlanta, Georgia (1990)."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881908.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881908\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T19:05:17Z","timestamp":1734807917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881908"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881908"],"URL":"https:\/\/doi.org\/10.1007\/bf00881908","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1993]]}}}