{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:20:45Z","timestamp":1725628845486},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151968"},{"type":"electronic","value":"9783642702846"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70284-6_12","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T16:54:49Z","timestamp":1320252889000},"page":"147-160","source":"Crossref","is-referenced-by-count":11,"title":["Integrating Database Management and Expert Systems"],"prefix":"10.1007","author":[{"given":"Yannis","family":"Vassiliou","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1207\/s15516709cog0101_2","volume":"1","author":"DG Bobrow","year":"1977","unstructured":"Bobrow, D.G., and Winograd, T. \u201cAn Overview of KRL, a Knowledge Representation Language,\u201d Cognitive Science, Vol. 1, No. 1, 1977, pp. 84 \u2013 123.","journal-title":"Cognitive Science"},{"key":"12_CR2","unstructured":"Bowen, K.A., and Kowalski, R.A, \u201cAmalgamating Language and Metalanguage in Logic Programming,\u201d Logic Programging, K.Clark and S.A.Tarnlund (eds),Academic Press, 1982."},{"key":"12_CR3","unstructured":"Brachman, R. \u201cOn the Epistemological Status of Semantic Net-works,\u201d Asscciative Networks: Representation and Use of Knowledge by Computer, N.V. Findler, ed., Academic Press, 1979, PP. 3\u201350."},{"key":"12_CR4","volume-title":"\u201cWhat Makes a Knowledge Ease Knowledgeable? A View of Databases from the Knowledge Level,\u201d Proc. of First Intl Workshop on Expert Database Systems","author":"R Brachman","year":"1984","unstructured":"Brachman, R., and H.Levesque, \u201cWhat Makes a Knowledge Ease Knowledgeable? A View of Databases from the Knowledge Level,\u201d Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984."},{"key":"12_CR5","volume-title":"\u201cOn Integrating Logic Programming and Databases,\u201d Proc. of first Intl Workshop on Expert Database Sys-tems","author":"M Brodie","year":"1984","unstructured":"Brodie, M., and M.Jarke, \u201cOn Integrating Logic Programming and Databases,\u201d Proc. of first Intl Workshop on Expert Database Sys-tems, South Carolina, October, 1984."},{"key":"12_CR6","volume-title":"Databases, and Programming Languages","author":"M Brodie","year":"1984","unstructured":"Brodie, M. Mylopoulos, J., Schmidt, J.W. (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, Springer, Berlin-Heidelberg-New York, 1984."},{"key":"12_CR7","unstructured":"Brown, J., Burton, R, deKleer, J, J., \u201cPedagogical Natural Language and Knowledge Engineering Techniques in SOPHIE I, II, and III,\u201d Intelligent Tutoring Systems, Sleeman et al (ads), Academic Press, 1981."},{"key":"12_CR8","first-page":"171","volume-title":"Inclusion Dependencies and their Interaction with Functional Dependencies","author":"MA Casanova","year":"1982","unstructured":"Casanova, M.A., Fagin, R., and C.H.Papadimitriou, \u201cInclusion Dependencies and their Interaction with Functional Dependencies,\u201d Proc. of first Symposium on Principles of Databases, Los Angeles, 1982, pp. 171 \u2013 176."},{"key":"12_CR9","volume-title":"\u201cSemantic Query Optimization in Expert Database Systems,\u201d Proc. of First Intl Workshop on Expert Database Systems","author":"US Chakravarthy","year":"1984","unstructured":"Chakravarthy, U.S., Fishman, O.H., and J.Minker, \u201cSemantic Query Optimization in Expert Database Systems,\u201d Proc. of First Intl Workshop on Expert Database Systems, South Carolina, Cctober, 1984."},{"key":"12_CR10","volume-title":"Portugal","author":"J Chomicki","year":"1983","unstructured":"Chomicki, J., \u201cA Database Support System for PROLOG,\u201d Proceedincs of Logic Programming Workshop\u201983, Portugal, 1983."},{"issue":"4","key":"12_CR11","first-page":"3","volume":"6","author":"J Clifford","year":"1983","unstructured":"Clifford, J., Jarke, M., and Y. Vassiliou, \u201cA Short Introduction to Expert Systems,\u201d IEEE Database Engineering Bulletin, Vo1. 6, no. 4, December 1983, pp. 3 \u2013 16.","journal-title":"IEEE Database Engineering Bulletin, Vo1"},{"key":"12_CR12","volume-title":"June","author":"R Davis","year":"1982","unstructured":"Davis, R., \u201cExpert Systems: Where are we? and Where do we Go from Here?,\u201d Massachusetts Institute of Technology, AI MEMO No. 665., June, 1982."},{"key":"12_CR13","volume-title":"\u201cDatabase Support for Storage of AI Reasoning Knowledge,\u201d Proc. of First Intl Workshop on Expert Database Systems","author":"M Deering","year":"1984","unstructured":"Deering, M., and Faletti, J., \u201cDatabase Support for Storage of AI Reasoning Knowledge,\u201d Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984."},{"issue":"4","key":"12_CR14","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1145\/322217.322228","volume":"27","author":"PJ Downey","year":"1980","unstructured":"Downey, P.J.,Sethi, R., and R.E.Tarjan, \u201cVariations on the Com-mon Subexpression Problem,\u201d Journal of the ACM, 27, 4, 1980, pp. 758 \u2013 771.","journal-title":"Journal of the ACM"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/356810.356816","volume":"12","author":"LO Erman","year":"1980","unstructured":"Erman, L.O., et al., \u201cThe Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty,\u201d Computing Surveys, Vol. 12, No. 2, June 1980, pp. 213 \u2013 253.","journal-title":"Computing Surveys"},{"key":"12_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4917.001.0001","volume-title":"A System for Representing and Using Real-World Knowledge","author":"SE Fahlman","year":"1979","unstructured":"Fahlman, S.E. NEIL: A System for Representing and Using Real-World Knowledge, MIT Press, Cambridge, Mass., 1979."},{"key":"12_CR17","volume-title":"Addison-Wesley","author":"EA Feigenbaum","year":"1982","unstructured":"Feigenbaum, E.A., and P. McCorduck, The Fifth Generation Artifi-cial Intelligence and. Japan\u2019s Computer Challenge to the World, Addison-Wesley, 1982."},{"key":"12_CR18","unstructured":"Forgy, C.L. The DPSS User\u2019s Manual. Tech. Report Carnegie-Mellon University, 1980."},{"key":"12_CR19","volume-title":"Logic and Databases, Plenum","author":"H Gallaire","year":"1978","unstructured":"Gallaire, H., and Minker, J., Logic and Databases, Plenum, 1978."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Grant, J., Minker, J., \u201cOptimization in deductive and conventional relational database systems,\u201d In Advances in Databse Theory (Eds H. Gallaire, J. Minker, J.M. Nicolas), pp. 195\u2013234. Plenum, New York.","DOI":"10.1007\/978-1-4615-8297-7_8"},{"key":"12_CR21","unstructured":"Hammer, M., and S.Zdonic, \u201cKnowledge Based Query Processing,\u201d Proc. of btr Intr Conference on Very Large Database, Montreal, 1980."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Hart, P.E., Duda, R.O., and Einaudi, M.T. A Computer-Based Con-sultation System for Mineral Emploration, Tech. Report, SRI International, Menlo Park, Calif., 1978.","DOI":"10.1007\/BF02461988"},{"key":"12_CR23","volume-title":"Proceedings Workshop on Logical Bases for Data Bases, Toulouse","author":"L Henschen","year":"1982","unstructured":"Henschen, L., Naqvi, S., \u201cOn compiling queries in recursive first-order databases,\u201d In Proceedings Workshop on Logical Bases for Data Bases, Toulouse, 1982."},{"key":"12_CR24","unstructured":"Hewitt, C., \u201cPLANNER: A Language for Proving Theorems in Robots,\u201d Proceedings IJLAI-71, London, England, 1971."},{"key":"12_CR25","first-page":"65","volume-title":"Artificial Intelligence Applications for Businese","author":"M Jarke","year":"1984","unstructured":"Jarke, M., and Y. Vassiliou, \u201cCoupling Expert Systems with Database Management Systems,\u201d Artificial Intelligence Applications for Business (W.Reitman, ed.), Ablex, 1984, pp.65\u201385."},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Jarke, M., Clifford, J., Vassiliou, Y., \u201cAn optimizing Prolog front end to a relational query system,\u201d in Proceedings of ACMSIGMOD Conference, Boston, June 1984.","DOI":"10.1145\/602259.602298"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Johnson, C.S., and A.Klug, \u201cTesting Containment of Conjunctive Queries under Functional and Inclusion Dependencies,\u201d Proc. of ACM Symposium on Principles of Database Systems, Los Angeles, 1982, pp.164\u2013169.","DOI":"10.1145\/588111.588138"},{"issue":"3","key":"12_CR28","first-page":"510","volume":"7","author":"W Kim","year":"1982","unstructured":"Kim, W., \u201cOn Optimizing an SQL-like nested Query,\u201d ACM-TODS, 7,3, 1982, pp.510\u2013517.","journal-title":"Acm-Tods"},{"key":"12_CR29","unstructured":"King, J., \u201cQUIST: A system for Semantic Query Optimization in Relational Databases,\u201d Proc. of 7th Intl Conference on Very Large Databases, Cannes, 1981."},{"key":"12_CR30","volume-title":"Logic for problem Soving","author":"RA Kowalski","year":"1979","unstructured":"Kowalski, R.A., Logic for problem Soving, North-Holland, New York, 1979."},{"key":"12_CR31","volume-title":"Workshop on Logical Bases for Data Bases","author":"S Kunifuji","year":"1982","unstructured":"Kunifuji, S., Yokota, H., \u201cProlog and Relational Databases for Fifth Generation Computer Systems,\u201d Proc. Workshop on Logical Bases for Data Bases, Toulouse, December 1982."},{"key":"12_CR32","unstructured":"Lafue, G.M.E., \u201cBasic decisions about linking an expert system with a DBMS: A case study,\u201d IEEE Database Engineering Bulletin, Vol.6, No.4, Cecember 1983."},{"key":"12_CR33","unstructured":"Masinter, L.M., in INTERLISP Reference Manual, 1974."},{"key":"12_CR34","unstructured":"McDermott, J. \u201cR1\u2019s Formative Years,\u201d AI MagaZine, Vol.2, No. 2, 1981."},{"key":"12_CR35","first-page":"211","volume-title":"The Psychology of Computer Vision","author":"N Minsky","year":"1975","unstructured":"Minsky, N. \u201cA Framework for Representing Knowledge,\u201d The Psychology of Computer Vision, P.H. Winston, ed., McGraw-Hill, New York, 1975, pp. 211\u2013277."},{"key":"12_CR36","volume-title":"Proc. of First Intl Workshop on Expert Database Systems","author":"M Missikof","year":"1984","unstructured":"Missikof, M. and G.Wiederhold, \u201cTowards a Unified Approach for Expert and Catabase Systems,\u201d Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984."},{"key":"12_CR37","unstructured":"Moon, D., and D., Weinreb, in LISP Machine Manual, 1981."},{"key":"12_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4612-5196-5_1","volume-title":"On Conceptual Modelling","author":"J Mylopoulos","year":"1984","unstructured":"Mylopoulos J., \u201cAn Overview of Knowledge Representation,\u201d in On Conceptual Modelling, (editors: M.L.Brodie, J.Mylopoulos, and J.W.Schmidt), Springer-Verlag, 1984, pp.3\u201318."},{"key":"12_CR39","unstructured":"Mylopoulos, J., and M.L.Brodie, \u201cAI and Databases: Semantic vs Computational Theories of Information,\u201d in New Directions in Database Systems, (J. Clifford and G. Ariav: editors), ABLEX, (to appear.)"},{"key":"12_CR40","first-page":"63","volume-title":"Computer, February","author":"DS Nau","year":"1983","unstructured":"Nau, D.S., \u201cExpert Computer Systems,\u201d Computer, February, 1983, pp.63\u201385."},{"key":"12_CR41","first-page":"711","volume":"83","author":"JM Nicolas","year":"1983","unstructured":"Nicolas, J-M., and K. Yazdanian, \u201cAn Outline of BOGEN: A Deductive DBMS,\u201d Proceedings of Information Processing-83, 1983, pp.711\u2013717.","journal-title":"Proceedings of Information Processing"},{"key":"12_CR42","volume-title":"PROBWELL \u2014 An Expert Advisor for Determining Problems with Producing Wells","author":"JP Olson","year":"1982","unstructured":"Olson, J.P., and Ellis, S.P., \u201cPROBWELL \u2014 An Expert Advisor for Determining Problems with Producing Wells,\u201d IBM cientific\/Engineering Conference, Poughkeepsie, New York, November, 1982."},{"key":"12_CR43","unstructured":"Ott, N., and K.Horlaender, \u201cRemoving Redundant Join Operations in Queries involving Views,\u201d IBM Scientific Center Heidelberg, Tech Report TR-82.02.003, 1982."},{"key":"12_CR44","unstructured":"Parsaye, K., \u201cLogic Programming and Relational Databases,\u201d IEEE Database Engineering Bulletin, vol.6, no.4, December 1983."},{"key":"12_CR45","volume-title":"A Prolog Implementation of a Large System on a Small Machine","author":"LM Pereira","year":"1982","unstructured":"Pereira, L.M., and Porto, A., \u201cA Prolog Implementation of a Large System on a Small Machine,\u201d Departmento de Informatica, Universidade Nova de Lisboa, 1982."},{"key":"12_CR46","first-page":"1030","volume":"77","author":"H Pople","year":"1977","unstructured":"Pople, H., \u201cThe Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning,\u201d Proceedings IJCAI-77, 1977, pp.1030\u20131037.","journal-title":"Proceedings"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"Reiter, R., \u201cDeductive question-answering on relational data bases,\u201d 1ogic and Databases, (Eds H.Gallaire, J. Minker), pp. 149\u2013178. Plenum, New York.","DOI":"10.1007\/978-1-4684-3384-5_6"},{"issue":"3","key":"12_CR48","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/320557.320568","volume":"2","author":"J Schmidt","year":"1977","unstructured":"Schmidt, J., \u201cSome High Level Language Constructs for Data of Type Relation,\u201d ACM Transactions on Database Systems, 2, 3, June, 1977, pp.247\u2013261.","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR49","unstructured":"Snepnard, A., and L.Kershberg, \u201cConstraint Management in Expert Database Systems,\u201d Proc of First Intl Workshop on Expert Database Systems, South Carolinas October, 1984."},{"key":"12_CR50","volume-title":"Proc. of First Intl Workshop on Expert Database Systems","author":"JM Smith","year":"1984","unstructured":"Smith, J.M., \u201cExpert Database Systems: A Database Perspective,\u201d Proc. of First Intl Workshop on Expert Database Systems, South Carolina, October, 1984."},{"key":"12_CR51","unstructured":"Smith, R.G., \u201cSTROBE: Support for Structured Object Knowledge Representation,\u201d in Proceedings of IJCAI-83, Karlsruhe, W.Germany, 1983."},{"key":"12_CR52","volume-title":"Data Models, Prentice-Hall","author":"C Tsichritzis","year":"1982","unstructured":"Tsichritzis, C., and F.N., Lochovsky, Data Models, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1982."},{"key":"12_CR53","first-page":"70","volume-title":"In Proc. 9th VLDB Conf","author":"Y Vassiliou","year":"1983","unstructured":"Vassiliou, Y., Clifford, J., Jarke, M., \u201cNow does an Expert System Get Its Gata?,\u201d in Proc. 9th VLDB Conf., Florence, October 1983, pp.70\u201372."},{"key":"12_CR54","doi-asserted-by":"crossref","unstructured":"Vassiliou, Y., Clifford, J., Jarke, M., \u201cAccess to Specific Declarative Knowledge by Expert Systems,\u201d in Decision Support Systems, vol.1, no.1, to appear, 1984.","DOI":"10.1016\/0167-9236(85)90063-6"},{"key":"12_CR55","unstructured":"Vassiliou, Y., Clifford, J., and M.Jarke, \u201cDatabase Access Requirements of Knowledge\u2014Based Systems\u201d in Query Processing in Database Systems, Springer, (to appear)."},{"key":"12_CR56","volume-title":"A Prolog Meta\u2014Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query Optimization","author":"R Venken","year":"1999","unstructured":"Venken, R., \u201cA Prolog Meta\u2014Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query Optimization,\u201d in Proc. of ECAI, Pisa, September, 1984."},{"key":"12_CR57","volume-title":"Efficient Processing of Interactive Relational Database Queries Expressed in Logic","author":"DHD Warren","year":"1981","unstructured":"Warren, D.H.D., \u201cEfficient Processing of Interactive Relational Database Queries Expressed in Logic,\u201d in Proc. of 7th Intl Conference on Very Large Databases, Cannes, 1981."},{"key":"12_CR58","doi-asserted-by":"crossref","unstructured":"Waterman, D., and F., Hayes\u2014Roth, (eds), Pattern Directed Inference Systems, Academic Press, 1979.","DOI":"10.1016\/B978-0-12-737550-2.50006-3"},{"key":"12_CR59","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R Weyhrauch","year":"1980","unstructured":"Weyhrauch, R., \u201cProlegomena to a Theory of Mechanical Formal Reasoning,\u201d Artificial Intelligence, Vol.13, 1980, pp.133\u2013170.","journal-title":"Artificial Intelligence"},{"key":"12_CR60","first-page":"3","volume":"15","author":"HKY Wong","year":"1977","unstructured":"Wong, H.K.Y., and Mylopoulos, J., \u201cTwo Views on Data Semantics: Data Models in Artificial Intelligence and Database Managements\u201d INFOR, vol.15, no.3, 1977.","journal-title":"Infor"},{"key":"12_CR61","volume-title":"Computer Science Press","author":"JD Ullman","year":"1982","unstructured":"Ullman, J.D., Principles of Database Systems, Computer Science Press, 1982."}],"container-title":["Informatik-Fachberichte","Datenbank-Systeme f\u00fcr B\u00fcro, Technik und Wissenschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70284-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T13:03:16Z","timestamp":1620306196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70284-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151968","9783642702846"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70284-6_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}