{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T01:20:52Z","timestamp":1698283252959},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"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":[[1989,6]]},"DOI":"10.1007\/bf03037447","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:53:22Z","timestamp":1240541602000},"page":"361-388","source":"Crossref","is-referenced-by-count":3,"title":["Using Prolog for building frog, a hybrid knowledge representation system"],"prefix":"10.1007","volume":"6","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037447_CR1","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(83)90017-6","volume":"20","author":"J. Aikins","year":"1983","unstructured":"Aikins, J., \u201cPrototypical knowledge for expert systems,\u201dArtificial Intelligence, 20, pp. 163, 210, 1983.","journal-title":"Artificial Intelligence"},{"key":"BF03037447_CR2","unstructured":"Bacha, H., \u201cMeta-level Programming: a Compiled Approach,\u201dProc. of the 4th International Conference on Logic Programming (J. L. Lassez ed.), MIT Press, pp. 394\u2013410, 1987."},{"key":"BF03037447_CR3","unstructured":"Black, D. and Manley, J., \u201cA Logic-based Architecture for Knowledge Management,\u201dProc. 10th IJCAI, pp. 87\u201390, 1987."},{"key":"BF03037447_CR4","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF03037077","volume":"3","author":"K. Bowen","year":"1985","unstructured":"Bowen, K., \u201cMeta-Level Programming and Knowledge Representation,\u201dNew Generation Computing, 3, pp. 395\u2013383, 1985.","journal-title":"New Generation Computing"},{"key":"BF03037447_CR5","unstructured":"Bowen, K. A and Kowalski R. A., \u201cAmalgamating Language and Metalanguage in Logic Programming,\u201d inLogic Programming (K. L. Clark and S-A. Tarnlund eds.) Academic Press, pp. 153\u2013172, 1982."},{"key":"BF03037447_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","volume":"16","author":"R. Brachman","year":"1983","unstructured":"Brachman, R., Fikes, R. and Levesque, H., \u201cKrypton: A Functional Approach to Knowledge Representation,\u201dIEEE Computer, 16, pp. 67\u201373, 1983.","journal-title":"IEEE Computer"},{"key":"BF03037447_CR7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R. J., Schmolze, J. G., \u201cAn overview of the KL-ONE knowledge representation system,\u201dCognitive Science, 9, pp. 171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"BF03037447_CR8","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0065-2458(08)60130-8","volume":"22","author":"B. Chandrasekaran","year":"1983","unstructured":"Chandrasekaran, B. and Mittal, S., \u201cConceptual representation of medical knowledge for diagnosis by computer: MDX and related systems,\u201dAdvances in Computers, 22, (M. Yovits ed.), pp. 217\u2013293, 1983.","journal-title":"Advances in Computers"},{"key":"BF03037447_CR9","unstructured":"Clark, K. L. and McCabe, F. G., \u201cPROLOG: A Language for Implementing Expert Systems,\u201d inMachine Intelligence, 10 (J. E. Hayes and D. Michie eds.), pp. 455\u2013470, 1982."},{"key":"BF03037447_CR10","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin, W. F. and Mellish, C. S.,Programming in Prolog, Springer Verlag, Berlin, 1981."},{"key":"BF03037447_CR11","unstructured":"Console, L., Martelli, A. and Rossi, G., \u201cA Technique for using Prolog in the implementation of Expert Systems,\u201d (in italian)Proc. First National Conf. on Logic Programming, pp. 160\u2013166, 1986."},{"key":"BF03037447_CR12","doi-asserted-by":"crossref","unstructured":"Console, L. and Rossi, G., \u201cImplementing Inference, Strategies in Prolog by Preprocessing\u201d (in Italian),Techn. Rept., Universita\u2019 di Torino, July, 1985","DOI":"10.1007\/978-94-009-4634-7_99"},{"key":"BF03037447_CR13","doi-asserted-by":"crossref","unstructured":"Console, L. and Rossi, G., \u201cImplementing Inference Strategies in Prolog based Expert Systems,\u201d inCybernetics and Systems 86 (R. Trappl. ed.), Reidel Pub. Co., pp. 767\u2013774, 1986.","DOI":"10.1007\/978-94-009-4634-7_99"},{"key":"BF03037447_CR14","unstructured":"Console, L. and Rossi, G., \u201cFlexible preprocessing and knowledge representation in Prolog,\u201d (in italian)Proc. Second National Conference on Logic Programming, pp. 45\u201354, 1987."},{"key":"BF03037447_CR15","unstructured":"Console, L. and Rossi, G., \u201cFROG: a Prolog-based system for Prolog-based knowledge representation,\u201d inArtificial Intelligence and Information-Control Systems of Robots 87 (I. Plander ed.), North Holland, pp. 179\u2013184, 1987."},{"key":"BF03037447_CR16","unstructured":"Cravetto, C., Lesmo, L., Molino, G. and Torasso, P., \u201cLITO2: a Frame Based Expert System for Medical Diagnosis in Hepatology,\u201d inArtificial Intelligence in Medicine (I. De Lotto and M. Stefanelli eds.), North Holland, pp. 107\u2013120, 1985."},{"key":"BF03037447_CR17","doi-asserted-by":"crossref","unstructured":"Eggert, P. R. and Val Schorre, D., \u201cLogic enhancement: a method for extending logic programming languages,\u201dProc. ACM Conf. on Lisp and Functional Programming Languages, pp. 74\u201380, 1982.","DOI":"10.1145\/800068.802137"},{"key":"BF03037447_CR18","unstructured":"Engelmann, C. and Stanton, W., \u201cAn Integrated Frame Rule Architecture,\u201d inHuman and Artificial Intelligence (A. Elithorn and R. Banerji eds.), North Holland, pp. 141\u2013146, 1984."},{"key":"BF03037447_CR19","doi-asserted-by":"crossref","first-page":"904","DOI":"10.1145\/4284.4285","volume":"28","author":"R. Fikes","year":"1985","unstructured":"Fikes, R. and Kehler, T., \u201cThe role of frame-based representation in reasoning,\u201dCommunication of the ACM, 28, pp. 904\u2013920, 1985.","journal-title":"Communication of the ACM"},{"key":"BF03037447_CR20","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/BF03037082","volume":"3","author":"M. Ishizuka","year":"1985","unstructured":"Ishizuka, M. and Kanai, N., \u201cProlog-ELF Incorporating Fuzzy Logic,\u201dNew Generation Computing, 3, pp. 479\u2013486, 1985.","journal-title":"New Generation Computing"},{"key":"BF03037447_CR21","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/S0020-7373(85)80006-7","volume":"22","author":"L. Lesmo","year":"1985","unstructured":"Lesmo, L., Saitta, L. and Torasso, P., \u201cEvidence combination in expert systems,\u201dInt. J. of Man-Machine Studies, 22, pp. 307\u2013326, 1985.","journal-title":"Int. J. of Man-Machine Studies"},{"key":"BF03037447_CR22","unstructured":"McCabe, F. G.,Micro-Prolog Programmer Reference Manual, Logic Programming Associates Ltd., 1981."},{"key":"BF03037447_CR23","unstructured":"Minsky, M., \u201cA framework for representing knowledge,\u201d inThe Psychology of Computer Vision (P. Winston ed.), McGraw Hill, pp. 211\u2013277, 1975."},{"key":"BF03037447_CR24","first-page":"182","volume":"1","author":"G. Molino","year":"1986","unstructured":"Molino, G., Cravetto, C., Torasso, P. and Console, L., \u201cCHECK: a diagnostic expert system Combining HEuristic and Causal Knowledge,\u201dBiomedical Measurement, Informatics and Control, 1, pp. 182\u2013193, 1986.","journal-title":"Biomedical Measurement, Informatics and Control"},{"key":"BF03037447_CR25","unstructured":"Ogawa, Y., Shima, K., Sugawara, T. and Takagi, S., \u201cKnowledge Representation and INference Environment: KRINE, An Approach to Integration of Frame, Prolog and Graphics,\u201dProc. Int. Conf. of Fifth Generation Computer Systems, Tokyo, pp. 643\u2013651, 1984."},{"key":"BF03037447_CR26","doi-asserted-by":"crossref","first-page":"981","DOI":"10.1016\/0002-9343(76)90570-2","volume":"60","author":"S. G. Pauker","year":"1976","unstructured":"Pauker, S. G., Gorry, G. A., Kassirer, J. P. and Schwartz, W. B., \u201cToward the Simulation of Clinical Cognition: Taking a Present Illness by Computer,\u201dThe American Journal of Medicine, 60, pp. 981, 995, 1976.","journal-title":"The American Journal of Medicine"},{"key":"BF03037447_CR27","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF03037410","volume":"4","author":"G. Rossi","year":"1986","unstructured":"Rossi, G., \u201cUses of Prolog in Implementation of Expert Systems,\u201dNew Generation Computing, 4, pp. 321\u2013330, 1986.","journal-title":"New Generation Computing"},{"key":"BF03037447_CR28","unstructured":"Safra, S. and Shapiro, E., \u201cMeta Interpreters for Real,\u201dProc. IFIP-86 Congress, Elsevier Science Publishers, pp. 271\u2013278, 1986."},{"key":"BF03037447_CR29","doi-asserted-by":"crossref","unstructured":"Shortliffe, E. H. (1976),Computer-Based Medical Consultation: MYCIN, Elsevier,","DOI":"10.1016\/B978-0-444-00179-5.50009-3"},{"key":"BF03037447_CR30","series-title":"Tech. Rept. CS84-17","volume-title":"Expert Systems=Knowledge+Meta-Interpreter","author":"L. Sterling","year":"1984","unstructured":"Sterling, L., \u201cExpert Systems=Knowledge+Meta-Interpreter,\u201dTech. Rept. CS84-17, Weizmann Institute, Israel, 1984."},{"key":"BF03037447_CR31","unstructured":"Szeredi, P., \u201cModule Concepts for Prolog,\u201dProc. Workshop on Prolog Programming Environments, Linkoping, 1982."},{"key":"BF03037447_CR32","unstructured":"Takeuchi A. and Furukawa K., \u201cPartial Evaluation of Prolog Programs and its Application to Meta Programming,\u201dProc. IFIP-86 Congress, Elsevier Science Publishers, pp. 415\u2013420, 1986."},{"key":"BF03037447_CR33","unstructured":"Tokoro, M. and Ishikawa, Y., \u201cOrient84\/K: A Language within Multiple Paradigms in the Object Framework,\u201dProc. 19th Annual Hawaii Conf. on System Sciences, pp. 198\u2013207, 1986."},{"key":"BF03037447_CR34","doi-asserted-by":"crossref","unstructured":"Torasso, P. and Console, L., \u201cApproximate reasoning and prototypical knowledge,\u201dInternational Journal of Approximate Reasoning, 3, 1989.","DOI":"10.1016\/0888-613X(89)90004-2"},{"key":"BF03037447_CR35","unstructured":"Weiss, S, and Kulikowski, C., \u201cEXPERT: a system for developing consultation models,\u201dProceedings 6th IJCAI, pp. 942\u2013947, 1979."},{"key":"BF03037447_CR36","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF03037384","volume":"4","author":"A. Yamamoto","year":"1986","unstructured":"Yamamoto, A. and Tanaka, H., \u201cTranslating Production Rules into a Forward Reasoning Prolog Program,\u201dNew Generation Computing, 4, pp. 97\u2013105, 1986.","journal-title":"New Generation Computing"},{"key":"BF03037447_CR37","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L. Zadeh","year":"1978","unstructured":"Zadeh, L., \u201cFuzzy Sets as a Basis for a Theory of Possibility,\u201dFuzzy Sets and Systems, 1, pp. 3\u201328, 1978.","journal-title":"Fuzzy Sets and Systems"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037447.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037447\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T12:51:41Z","timestamp":1633351901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF03037447"],"URL":"https:\/\/doi.org\/10.1007\/bf03037447","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}