{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:43:20Z","timestamp":1725662600492},"publisher-location":"Boston, MA","reference-count":21,"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_14","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"377-408","source":"Crossref","is-referenced-by-count":4,"title":["The Predicate Calculus-Language KS as a Query Language"],"prefix":"10.1007","author":[{"given":"Werner","family":"Dilger","sequence":"first","affiliation":[]},{"given":"Gisela","family":"Zifonun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","first-page":"1978","volume-title":"Natural Language Comnunication with Computers","author":"G Berry-Rogghe","year":"1978","unstructured":"Berry-Rogghe, G. and Wulz, H. [1978] An Overview of PLIDIS, A Problem Solving System with German as Query Language, In Natural Language Comnunication with Computers (L. Bole, Ed.), Springer, Heidelberg, 1978, forthcoming."},{"issue":"18","key":"14_CR2","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/361219.361221","volume":"11","author":"RF Boyce","year":"1975","unstructured":"Boyce, R. F., Chamberlin, D. D., King III, W. F, and Hammer, M. M. [1975] Specifying Queries as Relational Expressions: The SQUARE Data Sublanguage, CACM 11, 18 (Nov. 1975), 621\u2013628.","journal-title":"CACM"},{"key":"14_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, New York, 1978, 201\u2013236."},{"issue":"6","key":"14_CR4","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E. F. [1970] A Relational Model for Large Shared Data Banks, CACM 13, 6 (June 1970), 377\u2013387.","journal-title":"CACM"},{"key":"14_CR5","first-page":"65","volume-title":"Data Base Systems","author":"EF Codd","year":"1972","unstructured":"Codd, E. F. [1972] Relational Completeness of Data Base Sublanguages, In Data Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1972, 65\u201398."},{"key":"14_CR6","first-page":"495","volume-title":"Machine Intelligence 6","author":"PJ Hayes","year":"1971","unstructured":"Hayes, P. J. [1971] A Logic of Actions, In Machine Intelligence 6 (B. Meltzer and D. Michie, Eds.), Edinburgh University Press, Edinburgh, 1971, 495\u2013520."},{"key":"14_CR7","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, 1978, 179\u2013200."},{"key":"14_CR8","first-page":"125","volume-title":"Mathematical Logic","author":"SC Kleene","year":"1967","unstructured":"Kleene, S. C. [1967] Mathematical Logic, Wiley & Sons, New York, 1967, (see pp. 125\u2013134)."},{"key":"14_CR9","first-page":"370","volume-title":"Domain-Oriented Relational Languages","author":"M Lacroix","year":"1977","unstructured":"Lacroix, M. and Pirotte, A. [1977] Domain-Oriented Relational Languages, Proceedings International Conference on Very Large Data Bases, Tokyo, IEEE, 1977, 370\u2013378. Also MBLE Report R-351, April, 1977."},{"key":"14_CR10","volume-title":"Aspects of Automated Text Processing","author":"S Landsbergen","year":"1978","unstructured":"Landsbergen, S. and Scha, R. [1978] Formal Languages for Semantic Representation, In Aspects of Automated Text Processing (J. Pet\u00f6fi, Ed.)3 Buske, Hamburg, 19783 forthcoming."},{"key":"14_CR11","first-page":"463","volume-title":"Machine Intelligence 4","author":"J McCarthy","year":"1969","unstructured":"McCarthy, J. and Hayes, P. [1969] Some Philosophical Problems from the Standpoint of Artificial Intelligence, In Machine Intelligence 4 (B. Meltzer and D. Michie, Eds.), Edinburgh University Press, Edinburgh, 1969, 463\u2013502."},{"key":"14_CR12","first-page":"1978","volume-title":"Associative Networks \u2014 The Representation and Use of Knowledge","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 (N. Findler, Ed.), Academic Press, New York, 1978."},{"key":"14_CR13","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, 1978, 107\u2013147."},{"key":"14_CR14","first-page":"329","volume-title":"Representation and Meaning","author":"HR Pople","year":"1972","unstructured":"Pople, H. R. [1972] A Goal-Oriented Language for the Computer, In Representation and Meaning (H. A. Simon and L. Siklossy, Eds.), Prentice-Hall, Englewood Cliffs, N.J., 1972, 329\u2013413."},{"key":"14_CR15","first-page":"232","volume-title":"Methods of Logic","author":"W Quine","year":"1972","unstructured":"Quine, W. [1972] Methods of Logic, 3rd Edition, Holt, Rinhart and Winston, New York, 1972, (see pp. 232\u2013234).","edition":"3"},{"key":"14_CR16","series-title":"BBN Tech. Report","doi-asserted-by":"crossref","first-page":"161","DOI":"10.21236\/ADA046550","volume-title":"An Approach to Deductive Question-Answering","author":"R Reiter","year":"1977","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."},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978] On Closed World Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 55\u201376."},{"key":"14_CR18","first-page":"255","volume-title":"Machine Intelligence 6","author":"E Sandewall","year":"1971","unstructured":"Sandewall, E. [1971] Representing Natural Language Information in Predicate Calculus, In Machine Intelligence 6 (B. Meltzer and D. Michie, Eds.), Edinburgh University Press, Edinburgh, 1971, 255\u2013277."},{"issue":"1972","key":"14_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00650499","volume":"1","author":"RH Thomason","year":"1972","unstructured":"Thomason, R. H. [1972] A Semantic Theory of Sortal Incorrectness, Journal of Philosophical Logic 1, 1972, 209\u2013258.","journal-title":"Journal of Philosophical Logic"},{"key":"14_CR20","series-title":"BBN Report","volume-title":"The Lunar Sciences Natural Language Information System","author":"WA Woods","year":"1972","unstructured":"Woods, W. A., Kaplan, R. M. and Nash-Webber, B. L. [1972] The Lunar Sciences Natural Language Information System, Final Report, BBN Report No. 2378, Cambridge, Mass., June 1972."},{"key":"14_CR21","first-page":"305","volume-title":"kasustheorie, Klassifikation, semantische interpretation","author":"G Zifonun","year":"1977","unstructured":"Zifonun, G. [1977] Die Konstruktsprache KS. Entwurf eines Darstellungsmittels f\u00fcr nat\u00fcrlichsprachlich formulierte Information, In kasustheorie, Klassifikation, semantische interpretation, Papiere zur Textlinguistik 11, Buske, Hamburg, 1977, 305\u2013322."}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:14Z","timestamp":1619873414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_14","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}