{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T12:40:02Z","timestamp":1749213602385,"version":"3.41.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,6,1]],"date-time":"1997-06-01T00:00:00Z","timestamp":865123200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,6,1]],"date-time":"1997-06-01T00:00:00Z","timestamp":865123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Intelligent Information Systems"],"published-print":{"date-parts":[[1997,6]]},"DOI":"10.1023\/a:1008677708393","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"245-266","source":"Crossref","is-referenced-by-count":0,"title":["Multi-Path Reasoning in a Database"],"prefix":"10.1007","volume":"8","author":[{"given":"Dariush","family":"Navabi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lois M.L.","family":"Delcambre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"133779_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. and Simon, E. (1990). Fundamental Properties of Deterministic and Non-Deterministic Extensions of Datalog, Journal of Theoretical Computer Science.","DOI":"10.1016\/0304-3975(51)90006-0"},{"key":"133779_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, R. and DeWitt, D.J. (1983). Updating hypothetical data bases. Information Processing Letters(pp. 145\u2013146). North-Holland.","DOI":"10.1016\/0020-0190(83)90066-2"},{"key":"133779_CR3","volume-title":"Yaps: Yet Another Production System","author":"E.M. Allen","year":"1983","unstructured":"Allen, E.M. (1983). Yaps: Yet Another Production System. Maryland Artificial Intelligence Group, University of Maryland, Department of Computer Science, CS TR-1146, College Park, MD."},{"key":"133779_CR4","volume-title":"The Handbook of Artificial Intelligence","author":"B. Avron","year":"1982","unstructured":"Avron, B. and Feigenbaum, E.A. (1982). The Handbook of Artificial Intelligence, Vol. 1, Los Altos, CA: William Kaufmann, Inc."},{"key":"133779_CR5","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. and Ramakrishnan, R. (1986). An amateur\u2019s introduction to recursive query processing strategies. Proc. of the ACM SIGMOD Conference, Washington, DC.","DOI":"10.1145\/16856.16859"},{"key":"133779_CR6","volume-title":"Programming Expert Systems in OPS5","author":"L. Brownston","year":"1985","unstructured":"Brownston, L., Farrell, R., Kant, E., and Martin, N. (1985). Programming Expert Systems in OPS5, Reading, MA: Addison-Wesley."},{"issue":"2","key":"133779_CR7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(81)90010-2","volume":"16","author":"A. Bundy","year":"1981","unstructured":"Bundy, A. and Welham, B. (1981). Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. Artificial Intelligence Journal, 16(2), 189\u2013212.","journal-title":"Artificial Intelligence Journal"},{"key":"133779_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/872736.806931","volume":"64","author":"R. Davis","year":"1977","unstructured":"Davis, R. (1977). Generalized Procedure Calling and Content-Directed Invocation. SIGART64, 45\u201354.","journal-title":"SIGART"},{"key":"133779_CR9","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","volume":"15","author":"R. Davis","year":"1980","unstructured":"Davis, R. (1980). Meta-Rules: Reasoning About Control. Artificial Intelligence, 15, 179\u2013222.","journal-title":"Artificial Intelligence"},{"key":"133779_CR10","unstructured":"Davis, R. and Buchanan, B.G. (1977). Meta-level knowledge: Overview and applications. Proc. of International Joint Conference on Artificial Intelligence. Cambridge, MA."},{"key":"133779_CR11","unstructured":"Davis, R. and Lenat, D.B. (1982). Knowledge Based Systems in Artificial Intelligence, McGraw-Hill Advanced Computer Science Series."},{"key":"133779_CR12","doi-asserted-by":"crossref","unstructured":"Delcambre, L.M.L. and Etheredge, J.N. (1988). A self-controlling interpreter for the relational production language. Proc. of ACM SIGMOD Conference.","DOI":"10.1145\/971701.50250"},{"key":"133779_CR13","unstructured":"de Maindreville, C. and Simon, E. (1988a). A production rule based approach to deductive databases. Proc. of 4th International Conference on Data Engineering. Los Angeles, CA."},{"key":"133779_CR14","unstructured":"de Maindreville, C. and Simon, E. (1988b). Modeling non deterministic queries and updates in deductive databases. Proc. of International Conference on VLDB. Los Angeles, CA."},{"key":"133779_CR15","unstructured":"Erman, L., Scott, A., and London, P. (1984). Separating and integrating control in a rule-based tool. Proc. of the IEEE Workshop on Principles of Knowledge Based Systems(pp. 37\u201343). Denver, CO."},{"key":"133779_CR16","volume-title":"Pattern Match Reduction for the Relational Production Language","author":"J.N. Etheredge","year":"1988","unstructured":"Etheredge, J.N. (1988). Pattern Match Reduction for the Relational Production Language, Ph.D. Dissertation, Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, La."},{"key":"133779_CR17","doi-asserted-by":"crossref","unstructured":"Forgy, C.L. (1981). OPS5 User\u2019s Manual, Carnegie-Mellon University, Technical Report No. CMU-CS-81-135.","DOI":"10.21236\/ADA106558"},{"key":"133779_CR18","unstructured":"Gallaire, M. and Lasserre, C. (1982). Meta-Level Control for Logic Programs. In K. Clark and S. Tarnlund (Eds.), Logic Programming. Academic Press, pp. 173\u2013188."},{"key":"133779_CR19","doi-asserted-by":"crossref","unstructured":"Gallaire, H., Minker, J., and Nicolas, J.M. (1984). Logic and Databases: A Deductive Approach. ACM Computing Surveys, 16(2).","DOI":"10.1145\/356924.356929"},{"key":"133779_CR20","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0004-3702(82)90039-X","volume":"18","author":"M.P. Georgeff","year":"1982","unstructured":"Georgeff, M.P. (1982). Procedural Control in Production Systems. Artificial Intelligence, 18, 175\u2013201.","journal-title":"Artificial Intelligence"},{"key":"133779_CR21","first-page":"151","volume":"1","author":"M.P. Georgeff","year":"1983","unstructured":"Georgeff, M.P. (1983). Procedural expert systems. Proc. of the International Joint Conference on Artificial Intelligence (Vol. 1, pp. 151\u2013157).","journal-title":"Proc. of the International Joint Conference on Artificial Intelligence"},{"key":"133779_CR22","unstructured":"Hanson, E.N. (1993). Gator: A generalized discrimination network for production rule matching. Proc. of the International Joint Conference on Artificial Intelligence Workshop on Production Systems and their Innovative\nApplications. Chambrey, France."},{"key":"133779_CR23","unstructured":"KEE Software Development System User\u2019s Manual, KEE Version 3.0, IntelliCorp, 1986."},{"key":"133779_CR24","unstructured":"KEE Rule System Reference Manual, KEE Version 3.0, IntelliCorp, 1986."},{"key":"133779_CR25","doi-asserted-by":"crossref","unstructured":"Laurent, J.P. (1984). Control Structures in Expert Systems. Technology and Science of Informatics, 3(3).","DOI":"10.1017\/S026988890000059X"},{"key":"133779_CR26","unstructured":"Lee, A.J., Rundensteiner, E.A., and Thomas, S. (1994). An Active OODB System for Genome Physical Map Assembly. Information Systems, 19(4)."},{"key":"133779_CR27","volume-title":"A Flexible, Multi-Level, Multi-Path Expert Database System Architecture for Non-Deterministic Rule Programs","author":"D. Navabi","year":"1991","unstructured":"Navabi, D. (1991). A Flexible, Multi-Level, Multi-Path Expert Database System Architecture for Non-Deterministic Rule Programs. Ph.D. Dissertation, The Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA."},{"key":"133779_CR28","unstructured":"Navabi, D. and Delcambre, L.M.L. (1993). An expert database system framework for the configuration of parallel, multi-path, data-directed, inference engines. Proc. of International Joint Conference on Artificial Intelligence Workshop on Production Systems and their Innovative Applications. Chambrey, France."},{"key":"133779_CR29","unstructured":"Navabi, D. and Delcambre, L.M.L. (1994). A generic, framework for the declarative specification of rule-based systems. Proc. of the 3rd Pacific Rim International Conference on Artificial Intelligence. Beijing, China."},{"key":"133779_CR30","unstructured":"Navabi, D. and Delcambre, L.M.L. (1995). User controlled inferencing for heuristic problem solving in an expert database system. Proc. of the Arkansas Computer Conference. Conway, AR."},{"key":"133779_CR31","unstructured":"Regnier, M. and Simon, E. (1989). Efficient Evaluation of Production Rules in a DBMS. Advances in Databases, Geneva."},{"key":"133779_CR32","unstructured":"Reichgelt, H. and van Harmelen, F. (1985). Relevant criteria for choosing an inference engine in expert systems. Proc. of the Fifth Technical Conference of the British Computer Society, Specialist Group on Expert Systems (pp. 21\u201330). Warwick, UK."},{"key":"133779_CR33","unstructured":"Rich, E. and Knight, K. (1991). Artificial Intelligence, 2nd Edition. McGraw-Hill, Inc."},{"key":"133779_CR34","doi-asserted-by":"crossref","unstructured":"Sellis, T., Lin, C.-C., and Raschid, L. (1988). Implementing large production systems in a DBMS environment: Concepts and algorithms. Proc. of the ACM SIGMOD Conference, Chicago, Illinois.","DOI":"10.1145\/971701.50251"},{"key":"133779_CR35","unstructured":"Simon, E. and de Maindreville, C. (1988). Deciding whether a production rule is relational computable. Proc. of Second International Conference on Database Theory. Bruges, Belgium."},{"key":"133779_CR36","unstructured":"Slate, D. and Atkin, L. (xxxx). Chess 4.5\u2014The Northwestern University Chess Program. In P.W. Frey (Ed.), Chess Skill in Man and Machine. New York: Springer-Verlag."},{"key":"133779_CR37","doi-asserted-by":"crossref","unstructured":"Stonebraker, M. and Keller, K. (1980). Embedding expert knowledge and hypothetical data bases into a data base system. Proc. of ACM SIGMOD Conference. Santa Monica, CA.","DOI":"10.1145\/582260.582261"},{"key":"133779_CR38","unstructured":"Vieille, L. (1988). From QSQ towards ToSaQ: Global optimization of recursive queries. Proc. of the 2nd International Conference on Expert Database Systems. Tysons Corner, VA."},{"key":"133779_CR39","unstructured":"Walker, A. (1987). Knowledge Systems and Prolog, Addison-Wesley."},{"key":"133779_CR40","doi-asserted-by":"crossref","unstructured":"Widom, J. and Finkelstein, S.J. (1990). Set-oriented production rules in relational database systems. Proc. of the 1990 ACM SIGMOD Conference. Atlantic City, NJ.","DOI":"10.1145\/93597.98735"},{"key":"133779_CR41","unstructured":"Widom, J. and Chakravarthy, S. (Eds.) (1994). Proc. of the Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems. Houston, TX."},{"key":"133779_CR42","doi-asserted-by":"crossref","unstructured":"Wiederhold, G. (1993). Intelligent integration of information. Proc. of ACM SIGMOD Conference(pp. 434\u2013437).","DOI":"10.1145\/170035.170118"},{"key":"133779_CR43","unstructured":"Woodfill, J. and Stonebraker M. (1983).An implementation of hypothetical relations. Proc. of the Ninth Conference on VLDB. Florence, Italy."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008677708393.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008677708393\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008677708393.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T12:08:12Z","timestamp":1749211692000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008677708393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,6]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,6]]}},"alternative-id":["133779"],"URL":"https:\/\/doi.org\/10.1023\/a:1008677708393","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"type":"print","value":"0925-9902"},{"type":"electronic","value":"1573-7675"}],"subject":[],"published":{"date-parts":[[1997,6]]}}}