{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T13:38:28Z","timestamp":1759412308518},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781468433869"},{"type":"electronic","value":"9781468433845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_7","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"179-200","source":"Crossref","is-referenced-by-count":17,"title":["Deductive Planning and Pathfinding for Relational Data Bases"],"prefix":"10.1007","author":[{"given":"Charles","family":"Kellogg","sequence":"first","affiliation":[]},{"given":"Philip","family":"Klahr","sequence":"additional","affiliation":[]},{"given":"Larry","family":"Travis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"1975","DOI":"10.21236\/ADA019702","volume-title":"An Overview of Production Systems, AIM-271","author":"R Davis","year":"1975","unstructured":"Davis, R. and King, J. [1975] An Overview of Production Systems, AIM-271, Artificial Intelligence Laboratory, Stanford University, 1975."},{"key":"7_CR2","first-page":"1965","volume-title":"A Model for a Fact Retrieval System, TNN-42","author":"RW Elliott","year":"1965","unstructured":"Elliott, R. W. [1965] A Model for a Fact Retrieval System, TNN-42, Computation Center, University of Texas, Austin, 1965."},{"key":"7_CR3","first-page":"33","volume-title":"The CONVERSE Natural Language Data Management System: Current Status and Plans","author":"CH Kellogg","year":"1971","unstructured":"Kellogg, C. H., Burger, J., Diller, T. and Fogt, K. [1971] The CONVERSE Natural Language Data Management System: Current Status and Plans, Proceedings Symposium on Information Storage and Retrieval, ACM, New York, 1971, 33\u201346."},{"key":"7_CR4","first-page":"181","volume-title":"Systems for Large Data Bases","author":"C Kellogg","year":"1976","unstructured":"Kellogg, C., Klahr, P. and Travis, L. [1976] A Deductive Capability for Data Management, In Systems for Large Data Bases (P.C. Lockemann and E. J. Neuhold, Eds.), North Holland, Amsterdam, 1976, 181\u2013196."},{"key":"7_CR5","first-page":"203","volume-title":"Deductive Methods for Large Data Bases","author":"C Kellogg","year":"1977","unstructured":"Kellogg, C., Klahr, P. and Travis, L. [1977] Deductive Methods for Large Data Bases, Fifth International Joint Conference on Artificial Intelligence, MIT, Cambridge, Mass., 1977, 203\u2013209."},{"key":"7_CR6","first-page":"1975","volume-title":"Ph.D. Dissertation, Computer Science Dept., University of Wisconsin, Madison, Wisconsin","author":"P Klahr","year":"1975","unstructured":"Klahr, P. [1975] \u201cThe Deductive Pathfinder: Creating Derivation\u2019 Plans for Inferential Question-Answering,\u201d Ph.D. Dissertation, Computer Science Dept., University of Wisconsin, Madison, Wisconsin, 1975."},{"key":"7_CR7","first-page":"1978","volume-title":"Pattern-Directed Inference Systems","author":"P Klahr","year":"1978","unstructured":"Klahr, P. [1978] Planning Techniques for Rule Selection in Deductive Question-Answering, In Pattern-Directed Inference Systems (D. Waterman and F. Hayes-Roth, Eds.), Adademic Press, New York, 1978."},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1145\/321906.321919","volume":"223","author":"R Kowalski","year":"1975","unstructured":"Kowalski, R. [1975] A Proof Procedure Using Connection Graphs, JACM\n                22\n                \n                  3\n                 4 (October 1975), 572\u2013595.","journal-title":"JACM"},{"key":"7_CR9","first-page":"1978","volume-title":"Associative Networks \u2014 The Representation and Use of Knowledge in Computers","author":"J McSkimin","year":"1978","unstructured":"McSkimin, J. and Minker, J. [1978] A Predicate Calculus Based Semantic Network for Question-Answering Systems, In Associative Networks \u2014 The Representation and Use of Knowledge in Computers (N. Findler, Ed.), Academic Press, New York, 1978."},{"key":"7_CR10","first-page":"50","volume-title":"The Use of a Semantic Network in a Deduction Question-Answering System","author":"J McSkimin","year":"1977","unstructured":"McSkimin, J. and Minker J. [1977] The Use of a Semantic Network in a Deduction Question-Answering System, Fifth International Joint Conference on Artificial Intelligence, MIT, Cambridge, Mass., 1977, 50\u201358."},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-1-4684-3384-5_6","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978] Deductive Question-Answering in Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 149\u2013177."},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J. A. [1965] A Machine-Oriented Logic Based on the Resolution Principle, JACM12, 1 (January 1965), 23\u201341.","journal-title":"JACM"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1109\/TC.1976.1674701","volume":"8","author":"S Sickel","year":"1976","unstructured":"Sickel, S. [1976] A Search Technique for Clause Interconnec-tivity Graphs, IEEE Trans. Computers, C-25, 8 (August 1976), 823\u2013835.","journal-title":"IEEE Trans. Computers, C-25"},{"key":"7_CR14","first-page":"1973","volume-title":"Inferential Question-Answering: Extending CONVERSE, SP-3679","author":"L Travis","year":"1973","unstructured":"Travis, L., Kellogg, C. and Klahr, P. [1973] Inferential Question-Answering: Extending CONVERSE, SP-3679, System Development Corporation, Santa Monica, Calif., 1973."},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1145\/321296.321302","volume":"12","author":"L Wos","year":"1965","unstructured":"Wos, L., Robinson, G. A. and Carson, D. A. [1965] Efficiency and Completeness of the Set of Support Strategy in Theorem Proving, JACM12, 4 (October 1965), 536\u2013541.","journal-title":"JACM"},{"issue":"1965","key":"7_CR16","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L. A. [1965] Fuzzy Sets, Information and Control8, (1965), 338\u2013353.","journal-title":"Information and Control"}],"container-title":["Logic and Data Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:26Z","timestamp":1619873426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_7","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}