{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299032},"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_6","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"149-177","source":"Crossref","is-referenced-by-count":46,"title":["Deductive Question-Answering on Relational Data Bases"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Reiter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-1-4684-3384-5_8","volume-title":"Logic and Data Bases","author":"C Chang","year":"1978","unstructured":"Chang, C.L. [1978] DEDUCE 2: Further Investigations on Deduction in Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N.Y., 1978, 201\u2013236."},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K Clark","year":"1978","unstructured":"Clark, K. [1978] Negation as Failure, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 293\u2013322."},{"key":"6_CR3","first-page":"65","volume-title":"Da ta Base Systems","author":"EF Codd","year":"1972","unstructured":"Codd, E. F. [1972] Relational Completeness of Data Base Sublanguages, In Da ta Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1972, 65\u201398."},{"key":"6_CR4","first-page":"183","volume-title":"Machine Intelligence, Vol. 4","author":"CC Green","year":"1969","unstructured":"Green, C. C. [1969] Theorem Proving by Resolution as a Basis for Question Answering Systems, In Machine Intelligence, Vol. 4 (B. Meltzer and D. Michie, Eds.), American Elsevier Publishing Co., New York, N.Y., 1969, 183\u2013208."},{"key":"6_CR5","first-page":"179","volume-title":"Logic and Data Bases","author":"P Klahr","year":"1978","unstructured":"Kellogg, C., Klahr, P. and Travis, L. [1978] Deductive Planning and Pathfinding for Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 179\u2013200."},{"key":"6_CR6","volume-title":"Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland","author":"JR McSkimin","year":"1976","unstructured":"McSkimin, J. R. [1976] \u201cThe Use of Semantic Information in Deductive Question-Answering Systems,\u201d Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1976."},{"key":"6_CR7","first-page":"50","volume-title":"The Use of a Semantic Network in a Deductive Question-Answering System","author":"JR McSkimin","year":"1977","unstructured":"McSkimin, J. R. and Minker, J. [1977] The Use of a Semantic Network in a Deductive Question-Answering System, Proceedings IJCAI-77, Cambridge, Massachusetts, 1977, 50\u201358."},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-1-4684-3384-5_5","volume-title":"Logic and Data Bases","author":"J Minker","year":"1978","unstructured":"Minker, J. [1978] An Experimental Relational Data Base System Based on Logic, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, New York, 1978, 107\u2013147."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(73)90013-1","volume":"4","author":"J Minker","year":"1973","unstructured":"Minker, J., Fishman, D. H., and McSkimin, J. R. [1973] The Q* Algorithm \u2014 A Search Strategy for a Deductive Question-Answering System, Artificial Intelligence4, (1973), 225\u2013243.","journal-title":"Artificial Intelligence"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-1-4684-2694-6_4","volume-title":"Information Systems","author":"FP Palermo","year":"1974","unstructured":"Palermo, F. P. [1974] A Data Base Search Problem, In Information Systems (J. T. Tou, Ed.), Plenum Press, New York, N.Y., 1974, 67\u2013101."},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1145\/321662.321678","volume":"18","author":"R Reiter","year":"1971","unstructured":"Reiter, R, [1971] Two Results on Ordering for Resolution with Merging and Linear Format, JACM18, 4(0ctober 1971), 630\u2013646.","journal-title":"JACM"},{"key":"6_CR12","volume-title":"Query Optimization for Question-Answering Systems","author":"R Reiter","year":"1976","unstructured":"Reiter, R. [1976] Query Optimization for Question-Answering Systems, Proceedings COLING, Ottawa, Canada, June 28 \u2014 July 2, 1976."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Reiter, R. [1977] An Approach to Deductive Question-Answering, BBN Tech. Report 3649, Bolt Beranek and Newman, Inc., Cambridge, Mass., Sept. 1977, 161 pp.","DOI":"10.21236\/ADA046550"},{"key":"6_CR14","volume-title":"Proceedings of the Canadian Society for Computational Studies of Intelligence, Second National Conference","author":"R Reiter","year":"1978a","unstructured":"Reiter, R. [1978a] On Structuring a First Order Data Base, Proceedings of the Canadian Society for Computational Studies of Intelligence, Second National Conference (R. Perrault, Ed.), Toronto, July 19\u201321, 1978."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases (H. Gallaire and J. Minker","author":"R Reiter","year":"1978b","unstructured":"Reiter, R. [1978b] On Closed World Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 55\u201376."},{"key":"6_CR16","first-page":"135","volume-title":"Machine Intelligence","author":"GA Robinson","year":"1969","unstructured":"Robinson, G. A., and Wos, L. [1969] Paramodulation and Theorem Proving in First Order Theories with Equality, In Machine Intelligence, Vol. 4 (B. Meltzer and D. Michie, Eds.), American Elsevier, New York, N.Y., 1969, 135\u2013150."}],"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_6.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_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_6","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}