{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:09Z","timestamp":1725663849081},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539193"},{"type":"electronic","value":"9783540463986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53919-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:17:46Z","timestamp":1330208266000},"page":"107-133","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge media station"],"prefix":"10.1007","author":[{"given":"Y.","family":"Hosono","sequence":"first","affiliation":[]},{"given":"H.","family":"Kumagai","sequence":"additional","affiliation":[]},{"given":"H.","family":"Shimizu","sequence":"additional","affiliation":[]},{"given":"M.","family":"Sumida","sequence":"additional","affiliation":[]},{"given":"A.","family":"Takeuchi","sequence":"additional","affiliation":[]},{"given":"N.","family":"Takiguchi","sequence":"additional","affiliation":[]},{"given":"T.","family":"Wake","sequence":"additional","affiliation":[]},{"given":"T.","family":"Yamaoka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"8_CR1","unstructured":"T. Chikayama, Unique Features of ESP, Proc. FGCS'84, 1984, pp. 292\u2013298."},{"key":"8_CR2","unstructured":"A. Colmerauer, Opening the Prolog III Universe, Byte, Aug. 1987, pp. 171\u2013176."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"J. Conklin, Hypertext: An Introduction and Survey, Computer, Sep., 1987.","DOI":"10.1109\/MC.1987.1663693"},{"key":"8_CR4","unstructured":"M. Dincbas, Constraints, Logic Programming and Deductive Databases, Proc. France-Japan Artificial Intelligence and Computer Science Symposium, 1986."},{"key":"8_CR5","unstructured":"M. Dincbas et al., The Constraint Logic Programming Language CHIP, Proc. FGCS'88, 1988, pp. 693\u2013702."},{"key":"8_CR6","unstructured":"M. H. van Emden, Logic as an Interaction Language, Proc. of 5th Conf. Canadian Soc. for Computational Studies in Intelligence, 1984."},{"issue":"3","key":"8_CR7","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF03037408","volume":"4","author":"M. H. Emden van","year":"1985","unstructured":"M. H. van Emden, M. Ohki, A. Takeuchi, Spreadsheet with Incremental Queries as a User Interface for Logic Programming, New Generation Computing, Vol.4, No.3, 1985, pp. 287\u2013304.","journal-title":"New Generation Computing"},{"key":"8_CR8","unstructured":"M. H. van Emden, Project 4.5, Technical Report LP-6, Dept. of Computer Science, University of Victoria, 1988."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"A. Kay, A. Goldberg, Personal Dynamic Media, Computer, Mar., 1977, pp. 31\u201341.","DOI":"10.1109\/C-M.1977.217672"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J-L. Lassez, Constraint Logic Programming, Proc. POPL-87, 1987.","DOI":"10.1145\/41625.41635"},{"key":"8_CR11","unstructured":"K. Mukai, Unification over Complex Indeterminates in Prolog, Proc. the Logic Programming Conf., 1985, pp. 271\u2013278."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"M. Ohki, A. Takeuchi, K. Furukawa, A Framework for Interactive Problem Solving based on Interactive Query Revision, Proc. Logic Programming Conf., 1986.","DOI":"10.1007\/3-540-18024-9_29"},{"key":"8_CR13","unstructured":"M. Sergot, A Query-The-User for Logic Programming, Proc. the European Conf. on Integrated Computing Systems, Degano and Sandewall (eds.), North Holland, 1983."},{"issue":"1","key":"8_CR14","first-page":"34","volume":"7","author":"M. Stefik","year":"1986","unstructured":"M. Stefik, The Next Knowledge Medium, The AI Magazine, Vol.7, No.1, 1986, pp. 34\u201346.","journal-title":"The AI Magazine"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"P. Vasey, Qualified Answer and Their Application to Transformation, Proc. 3rd Int. Conf. on Logic Programming, 1986, pp. 425\u2013432.","DOI":"10.1007\/3-540-16492-8_92"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53919-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:29Z","timestamp":1605646289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53919-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539193","9783540463986"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-53919-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}