{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:18Z","timestamp":1742591418394,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180241"},{"type":"electronic","value":"9783540477129"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18024-9_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:23:25Z","timestamp":1330197805000},"page":"137-146","source":"Crossref","is-referenced-by-count":2,"title":["A framework for interactive problem solving based on interactive query revision"],"prefix":"10.1007","author":[{"given":"Masaru","family":"Ohki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akikazu","family":"Takeuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichi","family":"Furukawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","unstructured":"D.L. Bowen, L.M. Pereira, F.C.N. Pereira and D.H.D. Warren: User's guide to DECsystem-10 Prolog. Dept of Artificial Intelligence, University of Edinburgh (1982)."},{"key":"13_CR2","unstructured":"K.Bowen, T.Weinberg: A Meta-Level Extension of Prolog, Technical Report CIS-85-1, Syracuse University (1985)."},{"key":"13_CR3","unstructured":"A. Colmerauer: Prolog II: Reference Manual and Theoretical Model,Internal Report, Groupe Intelligence Artificielle, Universite d'Aix-Marseille II, (1982)."},{"key":"13_CR4","unstructured":"M.H.Emden: Logic as an Interaction Language, Proc. of 5th Conf. Canadian Soc. for Computational Studies in Intelligence (1984)."},{"key":"13_CR5","unstructured":"M.H.Emden, M.Ohki, A.Takeuchi: Spreadsheet with Incremental Queries as a User Interface for Logic Programming, ICOT Technical Report (1985)."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/BF03037080","volume":"3","author":"K. Mukai","year":"1985","unstructured":"K. Mukai, H. Yasukawa: Complex Indeterminates in Prolog and its Application to Discourse Models, New Generation Computing, 3 pp441\u2013466 (1985).","journal-title":"New Generation Computing"},{"key":"13_CR7","unstructured":"H.Nakashima: Prolog\/KR \u2014 languages features, Proc. of the First International Logic Programming Conference, (1982)."},{"key":"13_CR8","unstructured":"D.Pools, R.Aleliunas, R.Goebel: Theorist: a logical reasoning system for defaults and diagnosis, Waterloo University (1985)."},{"key":"13_CR9","unstructured":"Marek Sergot: A Query-The-User for Logic Programming, Proc. of the European Conference on Integrated Computing Systems, P. Degano and E. Sandewall (eds.), North Holland, 1983."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"E.Shapiro: Algorithmic Program Debugging, The MIT Press, 1983","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"13_CR11","unstructured":"E.Shapiro: Logic Programs with Uncertainties: A Tool for Implementing Rule-based Systems, Proc. of IJCAI'83, 1983"},{"key":"13_CR12","unstructured":"A.Takeuchi, K.Furukawa: Partial Evaluation of Prolog Programs and its Application to Meta Programming, Proc. of Logic Programming Conference'85 (Tokyo), (1985).."}],"container-title":["Lecture Notes in Computer Science","Logic Programming '86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18024-9_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:35:57Z","timestamp":1742589357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18024-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180241","9783540477129"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-18024-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}