{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T21:05:49Z","timestamp":1774818349564,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf03037079","type":"journal-article","created":{"date-parts":[[2009,4,17]],"date-time":"2009-04-17T02:51:18Z","timestamp":1239936678000},"page":"403-439","source":"Crossref","is-referenced-by-count":34,"title":["Multi-layer logic \u2014 A predicate logic including data structure as knowledge representation language"],"prefix":"10.1007","volume":"3","author":[{"given":"Setsuo","family":"Ohsuga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Yamauchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037079_CR1","unstructured":"Barr, A. and Feigenbaum, E. A. (eds.),The Handbook of Artificial Intelligence, Vol. 2, William Kaufmann, 1982."},{"key":"BF03037079_CR2","unstructured":"Berge, C.,Graphs and Hypergraphs, North-Holland, 1973."},{"key":"BF03037079_CR3","doi-asserted-by":"crossref","unstructured":"Bezier, P., \u201cMathematical and Practical Possibilities of UNISURF,\u201d inComputer Aided Geometrical Design (R. E. Barnhill and R. F. Riesenfeld, eds.), Academic Press, 1974.","DOI":"10.1016\/B978-0-12-079050-0.50012-6"},{"key":"BF03037079_CR4","doi-asserted-by":"crossref","unstructured":"Brodie, M. L., Mylopoulos, J. and Schmidt, J. W. (eds.),On Conceptual Modelling \u2014 Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer-Verlag, 1984.","DOI":"10.1007\/978-1-4612-5196-5"},{"key":"BF03037079_CR5","unstructured":"Bubenko, J. A., \u201cInformation and Data Modelling: State of the Art and Research Directions,\u201dProc. Second Scandinavian Research Seminar on Information Modelling and Data Base Management (H. Kangassalo, ed.): also inActa Universitatis Tamperensis, Ser. B, Vol. 19, pp. 9\u201328, 1983."},{"key":"BF03037079_CR6","unstructured":"Chang, C. L. and Lee, R. C. T.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1972."},{"key":"BF03037079_CR7","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. P. Chen","year":"1976","unstructured":"Chen, P. P., \u201cThe Entity-Relationship Model: Toward a Unified View of Data,\u201dACM Trans. Database System, Vol. 1, pp. 9\u201336, 1976.","journal-title":"ACM Trans. Database System"},{"key":"BF03037079_CR8","unstructured":"Date, C. J.,An Introduction to Data Base System, Addison-Wesley, 1976."},{"key":"BF03037079_CR9","unstructured":"Davis, R. and Lenat, D.Knowledge Based Systems in Artificial Intelligence, McGraw-Hill, 1982."},{"key":"BF03037079_CR10","unstructured":"Encarnacao, J. and Krause, F. L. (eds.),File Structures and Data Bases for CAD, North-Holland, 1982."},{"key":"BF03037079_CR11","unstructured":"Enderton, H. B.,Mathematical Introduction to Logic, Academic Press, 1972."},{"key":"BF03037079_CR12","doi-asserted-by":"crossref","unstructured":"Gallaire, H. and Minker, J. (eds.),Logic and Databases, Plenum Pub. Co., 1978.","DOI":"10.1007\/978-1-4684-3384-5"},{"key":"BF03037079_CR13","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Minker, J. and Nicolas, J. M. (eds.),Advances in Data Base Theory, Vol. 1, Plenum Pub. Co., 1981.","DOI":"10.1007\/978-1-4615-8297-7"},{"key":"BF03037079_CR14","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Minker, J. and Nicolas, J. M. (eds.),Advances in Data Base Theory, Vol. 2, Plenum Pub. Co., 1981.","DOI":"10.1007\/978-1-4615-8297-7"},{"key":"BF03037079_CR15","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Minker, J. and Nicolas, J. M., \u201cLogic and Databased; A Deductive Approach,\u201dComputing Surveys, Vol. 16, 1984.","DOI":"10.1145\/356924.356929"},{"key":"BF03037079_CR16","unstructured":"Goldberg, A. and Robson, D.,Smalltalk-80, The Language and its Implementation, Addison-Wesley Pub. Co., 1983."},{"issue":"No. 1","key":"BF03037079_CR17","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/320064.320067","volume":"4","author":"P. C. Lockemann","year":"1979","unstructured":"Lockemann, P. C., Mayr, H. C., Weil, W. H. and Wohlleber W. H., \u201cData Abstraction for Database Systems,\u201dACM Trans. on Database Systems, Vol. 4, No. 1, pp. 60\u201375, 1979.","journal-title":"ACM Trans. on Database Systems"},{"key":"BF03037079_CR18","doi-asserted-by":"crossref","unstructured":"McLeod, D., \u201cAbstraction in Database,\u201dProc. of ACM Workshop on Data Abstraction, Database and Conceptual Modelling pp. 19\u201325, June, 1980.","DOI":"10.1145\/800227.806871"},{"key":"BF03037079_CR19","first-page":"171","volume":"3","author":"S. Ohsuga","year":"1980","unstructured":"Ohsuga, S., \u201cPerspectives on New Computer Systems of the Next Generation \u2014 A Proposal for Knowledge-Based Systems,\u201dJ. of Information Processing, No. 3, pp. 171\u2013185, 1980.","journal-title":"J. of Information Processing"},{"key":"BF03037079_CR20","unstructured":"Ohsuga, S., \u201cA New Method of Model Description \u2014 Use of Knowledge Base and Inference,\u201d inCAD System Framework (K. Bo and F. M. Lillehagen, eds.), North-Holland, pp. 285\u2013312, 1983."},{"key":"BF03037079_CR21","unstructured":"Ohsuga, S., \u201cPredicate Logic Involving Data Structure as a Knowledge Representation Language,\u201dProc. Eighth Int. Joint Conf. on Artificial Intelligence, pp. 391\u2013394, 1983."},{"issue":"No. 6","key":"BF03037079_CR22","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1016\/0005-1098(83)90032-8","volume":"19","author":"S. Ohsuga","year":"1983","unstructured":"Ohsuga, S., \u201cKnowledge Based Man-Machine Systems,\u201dAutomatica, Vol. 19, No. 6, pp. 685\u2013691, 1983.","journal-title":"Automatica"},{"key":"BF03037079_CR23","unstructured":"Ohsuga, S., \u201cA View to Knowledge Information System Design,\u201dProc. Int. Conf. on Computers, Systems and Signal Processing, IEEE, Bangalore, India, 1984."},{"issue":"No. 1-2","key":"BF03037079_CR24","doi-asserted-by":"crossref","first-page":"121","DOI":"10.5109\/13363","volume":"21","author":"S. Ohsuga","year":"1984","unstructured":"Ohsuga, S., \u201cA Consideration to Knowledge Representation \u2014 An Information Theoretic View,\u201dBulletin of Informatics and Cybernetics, Vol. 21, No. 1-2, pp. 121\u2013135, 1984.","journal-title":"Bulletin of Informatics and Cybernetics"},{"key":"BF03037079_CR25","unstructured":"Ohsuga, S., \u201cConceptual Design of CAD Systems Involving Knowledge Bases,\u201dIFIP WG 5.2 Workshop on Knowledge Engineering in Computer-Aided Design, Sept., 1984; also to appear inKnowledge Engineering in Computer-Aided Design (J. S. Gero, ed.), North-Holland, (1985)."},{"key":"BF03037079_CR26","unstructured":"Reitman, W. (ed.),Artificial Intelligence Application for Business, Ablex Pub., 1983."},{"key":"BF03037079_CR27","unstructured":"Rich, E.,Artificial Intelligence, McGraw-Hill, 1983."},{"key":"BF03037079_CR28","doi-asserted-by":"crossref","unstructured":"Schmidt, J. W. and Blodie, M. L. (eds.),Relational Database Systems, Springer-Verlag, 1983.","DOI":"10.1007\/978-3-642-68847-8"},{"key":"BF03037079_CR29","unstructured":"Stonebraker, M., Rubenstein, B. and Guttman, A., \u201cApplication of Abstract Data Types and Abstract Indices to CAD Data Bases,\u201dProc. Engineering Design Applications of ACM-IEEE Data Base Week, pp. 107\u2013113, 1983."},{"key":"BF03037079_CR30","doi-asserted-by":"crossref","unstructured":"Wang, P. C. C. (ed.),Advanced Engineering Data Handling, Kluwer Academic, 1984.","DOI":"10.1007\/978-1-4613-2817-9"},{"key":"BF03037079_CR31","unstructured":"Weinreb, D. and Moon, D., \u201cFlavors: Message Passing in the Lisp Machine\u201dMIT AI Memo, No. 602, 1980."},{"key":"BF03037079_CR32","unstructured":"Yamauchi, H. and Ohsuga, S., \u201cKAUS as a Tool for Model Building and Evaluation,\u201dProc. 5th International Workshop on Expert Systems and Their Applications, Avignon, France, May, 1985."},{"key":"BF03037079_CR33","doi-asserted-by":"crossref","unstructured":"Zilles, S. N., \u201cTypes, Algebras and Modelling,\u201dProc. of Workshop on Data Abstraction, Database and Conceptual Modelling, pp. 207\u2013209, 1980.","DOI":"10.1145\/800227.806925"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037079.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037079\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T14:21:11Z","timestamp":1589725271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF03037079"],"URL":"https:\/\/doi.org\/10.1007\/bf03037079","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}