{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T03:00:24Z","timestamp":1697857224094},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1984,12]]},"DOI":"10.1007\/bf03037329","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T22:46:49Z","timestamp":1240354009000},"page":"385-404","source":"Crossref","is-referenced-by-count":14,"title":["A knowledge assimilation method for logic databases"],"prefix":"10.1007","volume":"2","author":[{"given":"Taizo","family":"Miyachi","sequence":"first","affiliation":[]},{"given":"Susumu","family":"Kunifuji","sequence":"additional","affiliation":[]},{"given":"Hajime","family":"Kitakami","sequence":"additional","affiliation":[]},{"given":"Koichi","family":"Furukawa","sequence":"additional","affiliation":[]},{"given":"Akikazu","family":"Takeuchi","sequence":"additional","affiliation":[]},{"given":"Haruo","family":"Yokota","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037329_CR1","unstructured":"Beeri, D., Bernstein, P. A. and Goodman, N.: \u201cA Sophisticated Introduction to Data Base Normalization Theory,\u201d Proc. of the 4th VLDB Conf. (Berlin)(1978)."},{"key":"BF03037329_CR2","unstructured":"Bowen, K. A. and Kowalski, R. A.: \u201cAmalgamating Language and Meta-language in Logic Programming\u201d (June, 1981)."},{"key":"BF03037329_CR3","series-title":"Math. Found. Comput. Sci. Mazmkiewiez","volume-title":"On Semantic Issues in the Relational Model of Data","author":"J. M. Cadiou","year":"1976","unstructured":"Cadiou, J. M.: \u201cOn Semantic Issues in the Relational Model of Data,\u201d Math. Found. Comput. Sci. Mazmkiewiez,Vol. 45 (Springer-Verlag, Berlin, Heidelberg, New York) (1976)."},{"key":"BF03037329_CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"Clark, K. L.: \u201cNegation as Failure,\u201d in Logic and Data Bases, H. Gallaire and J. Minker (eds.) (Plenum Press, New York, London) (1978) 293\u2013322."},{"key":"BF03037329_CR5","unstructured":"Fagin, R.: \u201cHorn Clauses and Database Dependencies,\u201d Proc. of the 12th Annual ACM Symposium on Theory of Computing (1980) 123\u2013134."},{"key":"BF03037329_CR6","volume-title":"Logic and Data Bases","year":"1978","unstructured":"Gallaire, H. and Minker, J. (eds.): Logic and Data Bases, (Plenum Press, New York, London) (1978)."},{"key":"BF03037329_CR7","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Minker, J. and Nicolas, J. (eds.): Advances in Data Base Theory, Vol. 1 (Plenum Press) (1981).","DOI":"10.1007\/978-1-4615-8297-7"},{"key":"BF03037329_CR8","volume-title":"Proceedings of Workshop on \u2018Logical Bases for Data Bases\u2019","author":"J. Nicolas","year":"1982","unstructured":"Nicolas, J. (ed.): Proceedings of Workshop on \u2018Logical Bases for Data Bases\u2019 (ONERA-CERT, Toulose) (Dec., 1982)."},{"key":"BF03037329_CR9","first-page":"34","volume-title":"Logic and Data Bases","author":"J. Nicolas","year":"1978","unstructured":"Nicolas, J. and Gallaire, H., \u201cData Base: Theory vs. Interpretation,\u201d in Logic and Data Bases, H. Gallaire and J. Minker (eds.) (Plenum Press, New York, London) (1978) 34\u201354."},{"key":"BF03037329_CR10","unstructured":"Pereira, F. and Warren D. H. D.: \u201cDefinite Clause Grammars Compared with Augmented Transition Networks\u201d (DAI, Univ. of Edinburgh) (1978)."},{"key":"BF03037329_CR11","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.: \u201cOn Closed World Databases\u201d, in Logic and Data Bases, H. Gallaire and J. Minker (eds.) (Plenum Press, New York, London) (1978) 55\u201376."},{"key":"BF03037329_CR12","unstructured":"Sakai, K. and Miyachi, T.: \u201cIncorporating naive negation into Prolog,\u201d ICOT Technical Report,28 (to appear in the Annuals of Pure and Applied Logic, 1984)."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037329.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037329\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:34Z","timestamp":1558558354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF03037329"],"URL":"https:\/\/doi.org\/10.1007\/bf03037329","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}