{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:02Z","timestamp":1725566342206},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_47","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"565-577","source":"Crossref","is-referenced-by-count":0,"title":["Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"47_CR1","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. Journal of the ACM\u00a029(3), 841\u2013862 (1982)","journal-title":"Journal of the ACM"},{"key":"47_CR2","first-page":"229","volume-title":"Proc. of ILPS 1997","author":"P. Baumgartner","year":"1997","unstructured":"Baumgartner, P., Furbach, U.: Calculi for disjunctive logic programming. In: Maluszynski, J. (ed.) Proc. of ILPS 1997, pp. 229\u2013243. The MIT Press, Cambridge (1997)"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/BFb0032425","volume-title":"Advances in Database Technology - EDBT \u201992","author":"S. Brass","year":"1992","unstructured":"Brass, S., Lipeck, U.W.: Generalized bottom-up query evaluation. In: Pirotte, A., Delobel, C., Gottlob, G. (eds.) EDBT 1992. LNCS, vol.\u00a0580, pp. 88\u2013103. Springer, Heidelberg (1992)"},{"key":"47_CR4","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"47_CR5","first-page":"183","volume":"4","author":"C.C. Green","year":"1969","unstructured":"Green, C.C.: Theorem proving by resolution as basis for question-answering systems. Machine Intelligence\u00a04, 183\u2013205 (1969)","journal-title":"Machine Intelligence"},{"key":"47_CR6","first-page":"569","volume":"74","author":"R.A. Kowalski","year":"1974","unstructured":"Kowalski, R.A.: Predicate logic as a programming language. Information Processing Letters\u00a074, 569\u2013574 (1974)","journal-title":"Information Processing Letters"},{"issue":"1","key":"47_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF00247669","volume":"17","author":"K. Kunen","year":"1996","unstructured":"Kunen, K.: The semantics of answer literals. Journal of Automated Reasoning\u00a017(1), 83\u201395 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"47_CR8","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)"},{"issue":"1","key":"47_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0304-3975(91)90006-N","volume":"86","author":"J. Lobo","year":"1991","unstructured":"Lobo, J., Rajasekar, A., Minker, J.: Semantics of Horn and disjunctive logic programs. Theoretical Computer Science\u00a086(1), 93\u2013106 (1991)","journal-title":"Theoretical Computer Science"},{"key":"47_CR10","first-page":"456","volume-title":"Proc. of the 4th Int. Conf. on Logic Programming","author":"D. Loveland","year":"1987","unstructured":"Loveland, D.: Near-Horn Prolog. In: Lassez, J.-L. (ed.) Proc. of the 4th Int. Conf. on Logic Programming, pp. 456\u2013469. The MIT Press, Cambridge (1987)"},{"key":"47_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(71)90003-8","volume":"2","author":"D. Luckham","year":"1971","unstructured":"Luckham, D., Nilsson, N.J.: Extracting information from resolution proof trees. Artificial Intelligence\u00a02, 27\u201354 (1971)","journal-title":"Artificial Intelligence"},{"key":"47_CR12","first-page":"227","volume":"1","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: Automatic deduction with hyper-resolution. International Journal of Computer Mathematics\u00a01, 227\u2013234 (1965)","journal-title":"International Journal of Computer Mathematics"},{"issue":"1","key":"47_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM\u00a012(1), 23\u201341 (1965)","journal-title":"Journal of the ACM"},{"issue":"4","key":"47_CR14","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:58:12Z","timestamp":1620014292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}