{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:10:00Z","timestamp":1736115000939,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013552","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:44:01Z","timestamp":1132728241000},"page":"417-419","source":"Crossref","is-referenced-by-count":0,"title":["Transforming horn clauses for forward reasoning"],"prefix":"10.1007","author":[{"given":"Knut","family":"Hinkelmann","sequence":"first","affiliation":[]},{"given":"Martin","family":"Harm","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Labisch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Boley H. A Relational\/Functional Language and its Compilation into the WAM, SEKI Report SR-90-05, University of Kaiserslautern, 1990."},{"key":"36_CR2","unstructured":"Boley, H., Hanschke, P., Hinkelmann, K., and Meyer, M. COLAB: A Hybrid Knowledge Compilation Laboratory. 3rd International Workshop on Data, Expert Knowledge and Decisions: Using Knowledge to Transform Data into Information for Decision Support, Schlo\u00df Reisensburg, G\u00fcnzburg, Germany, 1991, forthcoming."},{"key":"36_CR3","unstructured":"Chan, D., Dufresne, P., and Enders, R. Report on PHOCUS. Technical Report TR-LP-21-02, ECRC, Arabellastra\u00dfe 17 D8 M\u00fcnchen 81, April, 1987."},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Finin, T., Fritzson, R., and Matuszek, D. Adding Forward Chaining and Truth Maintenance to Prolog. In Artificial Intelligence Applications Conference, IEEE, Miami, March 1989, pp. 123\u2013130.","DOI":"10.1109\/CAIA.1989.49145"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L. Rete: A Fast Algorithm for the Many Pattern \/ Many Object Pattern Match Problem. Artificial Intelligence 19(1982), pp. 17\u201337.","journal-title":"Artificial Intelligence"},{"key":"36_CR6","unstructured":"Hinkelmann, K. Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation. Technical Memo TM-91-02, DFKI GmbH, January, 1991."},{"key":"36_CR7","first-page":"6","volume":"2","author":"P. Morris","year":"1981","unstructured":"Morris, P. A Forward Chaining Problem Solver. Logic Programming Newsletter 2(Autumn 1981), pp. 6\u20137.","journal-title":"Logic Programming Newsletter"},{"key":"36_CR8","volume-title":"Technical Note 309","author":"D.H.D Warren","year":"1983","unstructured":"Warren, D.H.D. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, CA, October, 1983."},{"key":"36_CR9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF03037384","volume":"4","author":"A. Yamamoto","year":"1986","unstructured":"Yamamoto, A. and Tanaka, H. Translating Production Rules into a Forward Reasoning Prolog Program. New Generation Computing 4(1986), pp. 97\u2013105.","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013552.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:32:28Z","timestamp":1736112748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013552"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0013552","relation":{},"subject":[]}}