{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:11Z","timestamp":1725663551858},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564546"},{"type":"electronic","value":"9783540475620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56454-3_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:10:07Z","timestamp":1330254607000},"page":"1-23","source":"Crossref","is-referenced-by-count":1,"title":["SLWV \u2014 A theorem prover for logic programming"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Luis","family":"Caires","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"1_CR1","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chang C. and R. Lee.: Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973."},{"key":"1_CR2","unstructured":"Eshghi, K. and R. Kowalski.: Abduction Compared with Negation as Failure, Logic Programming: Proceedings of the Sixth International Conference, (Levi and Martelli Hi eds.), MIT Press, 1989."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R. Kowalski","year":"1971","unstructured":"Kowalski, R.: Linear Resolution with Selection Function, Artificial Intelligence. vol 2, pp 227\u2013260, 1971.","journal-title":"Artificial Intelligence"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Lloyd, J.: Foundations of Logic Programming second edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"1_CR5","unstructured":"Loveland. D.W.: Automated Deduction, North Holland, 1978."},{"issue":"n\u22181","key":"1_CR6","first-page":"1","volume":"7","author":"D. W. Loveland","year":"1991","unstructured":"Loveland, D.W.: Near-Horn Prolog and Beyond. In Journal of Automated Reasoning, vol 7, n\u2218 1, pp 1\u201326, 1991.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Manthey, R. and F. Bry: SATCHMO: a theorem prover implemented in Prolog. In Proceedings of CADE 88 (9th Conference on Automated Deduction), Argonne, Illinois, pp 23\u201326 May, LNCS, Springer Verlag.","DOI":"10.1007\/BFb0012847"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF02432151","volume":"2","author":"F. J. Pelletier","year":"1986","unstructured":"Pelletier, F. J.: Seventy-five Problems for testing Automatic Theorem Provers. Journal of Automated Reasoning 2 (1986) pp 191\u2013216.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR9","unstructured":"Pereira L., L. Caires and J. Alferes: Classical Negation in Logic Programs. In Proceedings of the Seventh \u201cSemin\u00e1rio Brasileiro de Intelig\u00eancia Artificial\u201d, Campina Grande PB, Brazil, Nov. 90, UFPB\/CCT \u2014 Departamenio de Sistemas c Computa\u00e7\u00e3o, 7\u2218 SBIA, Caixa Postal 10106, 58100 \u2014 Campina Grande-PB, Brazil."},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00244944","volume":"4","author":"D. A. Plaisted","year":"1988","unstructured":"Plaisted, D. A.: Non-Horn clause logic Programing without Contrapositives. Journal of Automated Reasoning 4 (1988) pp 287\u2013325.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR11","unstructured":"Smith, B.T. and Loveland, D. W.: A Simple near-Horn Prolog Interpreter. In Logic Programming: Proceedings of the Fifth International Conference, pp 794\u2013804, Seattle, 1988."},{"key":"1_CR12","unstructured":"Stickel, M.E. et al: An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction, Proceedings of the Ninth International Joint Conference of Artificial Intelligence, Los Angeles California, August 85."},{"key":"1_CR13","unstructured":"Stickel, ME.: A Prolog Technology Theorem Prover: Implementation by an extended Prolog Compiler, Proceedings of the Eight International Conference in Automated Deduction. Oxford, England, July 86."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56454-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:52:47Z","timestamp":1619571167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56454-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564546","9783540475620"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-56454-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}