{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:43:26Z","timestamp":1725662606455},"publisher-location":"Boston, MA","reference-count":39,"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_5","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"107-147","source":"Crossref","is-referenced-by-count":21,"title":["An Experimental Relational Data Base System Based on Logic"],"prefix":"10.1007","author":[{"given":"Jack","family":"Minker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Also University of Maryland Computer Science Series","first-page":"20742","volume-title":"SIMPL-T \u2014 A Structured Programming Language, Paladin House, Geneva, Illinois, 1976","author":"VR Basili","year":"1976","unstructured":"Basili, V. R. and Turner, A. J. [1976] SIMPL-T \u2014 A Structured Programming Language, Paladin House, Geneva, Illinois, 1976. Also University of Maryland Computer Science Series, Vol. 2, University of Maryland, College Park, Maryland 20742."},{"key":"5_CR2","first-page":"1958","volume-title":"Introduction to Symbolic Logic and Its Applications","author":"R Carnap","year":"1958","unstructured":"Carnap, R. [1958] Introduction to Symbolic Logic and Its Applications, Dover Publications, Inc., New York, New York, 1958."},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-1-4684-3384-5_8","volume-title":"Logic and Data Bases","author":"CL Chang","year":"1978","unstructured":"Chang, C.L. [1978] DEDUCE 2: Further Investigations of Deduction in Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N. Y., 1978, 201\u2013236."},{"key":"5_CR4","first-page":"1973","volume-title":"Symbolic Logic and Mathematical Theorem Proving","author":"CL Chang","year":"1973","unstructured":"Chang, C.L. and Lee, R.C.T. [1973] Symbolic Logic and Mathematical Theorem Proving, Academic Press, New York, New York, 1973."},{"key":"5_CR5","first-page":"65","volume-title":"Data Base Systems","author":"EF Codd","year":"1972","unstructured":"Codd, E. F. [1971] Relational Completeness of Data Base Sublanguages, Courant Computer Science Symposia 6, May 24\u201325, 1971. In Data Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, New Jersey, 1972, 65\u201398."},{"key":"5_CR6","series-title":"Res. Lab. Electron.","first-page":"1962","volume-title":"A COMIT Program for the Davis-Putnam Algorithm","author":"JL Darlington","year":"1962","unstructured":"Darlington, J. L. [1962] A COMIT Program for the Davis-Putnam Algorithm, Res. Lab. Electron., Mech. Transi. Grp., M.I.T., Cambridge, Massachusetts, May 1962."},{"key":"5_CR7","volume-title":"Logic and Semantic Networks","author":"A Deliyanni","year":"1977","unstructured":"Deliyanni, A. and Kowalski, R. A. [1977] Logic and Semantic Networks, Journ\u00e9es d\u2019etudes Logique et bases de donees, Toulouse, France, Nov. 16\u201318, 1977."},{"key":"5_CR8","volume-title":"Automatic Text Translation to Speech Via Letter-to-Sound Rules","author":"HS Elovitz","year":"1975","unstructured":"Elovitz, H. S. [1975] \u201cAutomatic Text Translation to Speech Via Letter-to-Sound Rules,\u201d Scholarly Paper, University of Maryland, College Park, Maryland 20742, May 1975."},{"key":"5_CR9","first-page":"1972","volume-title":"A Mathematical Introduction to Logic","author":"HB Enderton","year":"1972","unstructured":"Enderton, H. B. [1972] A Mathematical Introduction to Logic, Academic Press, New York, New York, 1972."},{"key":"5_CR10","first-page":"1973","volume-title":"Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland","author":"DH Fishman","year":"1973","unstructured":"Fishman, D. H. [1973] \u201cExperiments with a Resolution-Based Deductive Question-Answering System and a Proposed Clause Representation for Parallel Search,\u201d Ph.D. Thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1973."},{"key":"5_CR11","first-page":"183","volume-title":"Machine Intelligence 4 American Elsevier","author":"CC Green","year":"19691969","unstructured":"Green, C. C. [1969] Theorem Proving by Resolution as a Basis for Question-Answering Systems, In Machine Intelligence 4 (B. Meltzer and D. Michie, Eds.), American Elsevier, New York, New York, 1969, 183\u2013205."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Green, C. C. and Raphael, B. [1968] The Use of Theorem Proving Techniques in Question-Answering Systems, Proceedings 1968 ACM National Conference, Brandon Systems Press, Princeton, New Jersey, 1968, 169\u2013181.","DOI":"10.1145\/800186.810578"},{"key":"5_CR13","first-page":"1974","volume-title":"LUSH Resolution and Its Completeness, DCL Memo No. 78","author":"R Hill","year":"1974","unstructured":"Hill, R. [1974] LUSH Resolution and Its Completeness, DCL Memo No. 78, University of Edinburgh, School of Artificial Intelligence, August 1974."},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-1-4684-3384-5_7","volume-title":"Logic and Data Bases","author":"C Kellogg","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, New York, 1978, 179\u2013200."},{"key":"5_CR15","volume-title":"Translating II-Clauses into English","author":"M Klein","year":"1976","unstructured":"Klein, M. [1976] \u201cTranslating II-Clauses into English,\u201d Scholarly Paper, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1976."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Kowalski R. and Kuehner, D. [1971] Linear Resolution with Selection Function, Artificial Intelligence2, 3\/4 (1971), 227\u2013260.","DOI":"10.1016\/0004-3702(71)90012-9"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1145\/321526.321527","volume":"16","author":"DW Loveland","year":"1969","unstructured":"Loveland, D. W. [1969] A Simplified Format for the Model Elimination Theorem Proving Procedure, JACM16, 3 (July 1969), 349\u2013363.","journal-title":"JACM"},{"issue":"1","key":"5_CR18","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. and Nilsson, N. [1971] Extracting Information from Resolution Proof Trees, Artificial Intelligence2, 1 (1971), 27\u201354.","journal-title":"Artificial Intelligence"},{"key":"5_CR19","first-page":"1976","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":"5_CR20","volume-title":"Associative Networks \u2014 The Representation and Use of Knowledge in Computers","author":"JR McSkimin","year":"1978","unstructured":"McSkimin, J.R. 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 (in press)."},{"key":"5_CR21","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":"5_CR22","volume-title":"MRPPS 2.0 User\u2019s Manual, CN-15, Computer Science Center","author":"JR McSkimin","year":"1974","unstructured":"McSkimin, J.R. and Wilson, G. A. [1974] MRPPS 2.0 User\u2019s Manual, CN-15, Computer Science Center, University of Maryland, College Park, Maryland, November 1974."},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/320241.320242","volume":"3","author":"J Minker","year":"1978","unstructured":"Minker, J. [1978] Search Strategy and Selection Function for an Inferential Relational System, ACM Transactions on Database Systems3,1 (March 1978), 1\u201331.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR24","first-page":"7","volume":"63","author":"J Minker","year":"1977","unstructured":"Minker, J. [1977] Control Structures of a Pattern-Directed Search System, Proceedings of the Workshop on Pattern-Directed Inference Systems, ACM SIGART Newsletter, No. 63 (June 1977), 7\u201314.","journal-title":"Proceedings of the Workshop on Pattern-Directed Inference Systems, ACM SIGART Newsletter"},{"key":"5_CR25","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":"5_CR26","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00976637","volume":"3","author":"J Minker","year":"1974","unstructured":"Minker, J., McSkimin, J. R. and Fishman, D. H. [1974] MRPPS \u2014 An Interactive Refutation Proof Procedure System for Question Answering, J. Computers and Information Sciences3, (June 1974), 105\u2013122.","journal-title":"J. Computers and Information Sciences"},{"key":"5_CR27","first-page":"691","volume-title":"1 PAK: A SNOBOL-Based Programming Language for Arfiticial Intelligence Applications","author":"J Mylopoulos","year":"1973","unstructured":"Mylopoulos, J., Badler, N., Melli, L. and Roussopoulos, N. [1973] 1 PAK: A SNOBOL-Based Programming Language for Arfiticial Intelligence Applications. Advance Papers of 3rd Int. Joint Conf. on Artificial Intelligence, Stanford University, Stanford, California, 1973, 691\u2013696."},{"key":"5_CR28","first-page":"595","volume-title":"Natural Language Question-Answering and Automatic Deduction in the System SYNTEX","author":"JM Nicolas","year":"1974","unstructured":"Nicolas, J. M. and Syre, J. C. [1974] Natural Language Question-Answering and Automatic Deduction in the System SYNTEX, Proceedings of the IFIP Congress, 1974, North-Holland Publishing Company, New York, New York, 1974,595\u2013599."},{"key":"5_CR29","first-page":"1977","volume-title":"Master\u2019s Thesis, Department of Computer Science, University of Maryland, College Park, Maryland","author":"P Powell","year":"1977","unstructured":"Powell, P. [1977] \u201cAnswer-Reason Extraction in a Parallel Relational Data Base System,\u201d Master\u2019s Thesis, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1977."},{"key":"5_CR30","volume-title":"Natural Language and Voice Output for Relational Data Base Systems, TR-686","author":"P Powell","year":"1978","unstructured":"Powell, P. and Thompson, P. [1978] Natural Language and Voice Output for Relational Data Base Systems, TR-686, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1978."},{"issue":"4","key":"5_CR31","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 (October 1971), 630\u2013646.","journal-title":"JACM"},{"key":"5_CR32","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 on 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":"5_CR33","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"},{"issue":"2","key":"5_CR34","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0004-3702(76)90003-5","volume":"7","author":"LK Schubert","year":"1976","unstructured":"Schubert, L. K. [1976] Extending the Expressive Power of Semantic Networks, Artificial Intelligence7, 2 (1976), 163\u2013198.","journal-title":"Artificial Intelligence"},{"key":"5_CR35","first-page":"512","volume-title":"A Net Structure for Semantic Information Storage, Deduction and Retrieval","author":"SC Shapiro","year":"1971","unstructured":"Shapiro, S. C. [1971] A Net Structure for Semantic Information Storage, Deduction and Retrieval, Proceedings Inter. Joint Conf. on Artificial Intelligence, The British Computer Society, London, 1971, 512\u2013523."},{"key":"5_CR36","first-page":"14","volume":"63","author":"SC Shapiro","year":"1977","unstructured":"Shapiro, S. C. [1977] Representing and Locating Deduction Rules in a Semantic Network, Proceedings of the Workshop on Pattern-Directed Inference Systems, ACM SIGART Newsletter No. 63 (June 1977, 14\u201318.","journal-title":"Proceedings of the Workshop on Pattern-Directed Inference Systems, ACM SIGART Newsletter No"},{"key":"5_CR37","volume-title":"Rule Precedence within Context-Sensitive Grammars; An Extension of the Letter to Sound Rules Used in Voice Production","author":"P Thompson","year":"1976","unstructured":"Thompson, P. [1976] \u201cRule Precedence within Context-Sensitive Grammars; An Extension of the Letter to Sound Rules Used in Voice Production,\u201d Scholarly Paper, Department of Computer Science, University of Maryland, College Park, Maryland 20742, 1976."},{"key":"5_CR38","volume-title":"Ph.D. Thesis, Dept. of Computer Science, University of Maryland, College Park, Maryland 20742","author":"G Wilson","year":"1976","unstructured":"Wilson, G. [1976] \u201cA Description and Analysis of the PAR Technique \u2014 An Approach for Parallel Inference and Parallel Search in Problem Solving Systems,\u201d Ph.D. Thesis, Dept. of Computer Science, University of Maryland, College Park, Maryland 20742, 1976. Also Tech. Report TR-464, Department of Computer Science, University of Maryland, 1976."},{"key":"5_CR39","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/B978-0-12-108550-6.50007-0","volume-title":"Representation and Understanding","author":"WA Woods","year":"1975","unstructured":"Woods, W. A. [1975] What\u2019s in a Link \u2014 Foundations for Semantic Networks, In Representation and Understanding (D. G. Bobrow and A. Collins, Eds.), Academic Press, New York, 1975, 35\u201382."}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:25Z","timestamp":1619873425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_5","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}