{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:08Z","timestamp":1747546928390,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540595"},{"type":"electronic","value":"9783540473787"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54059-8_81","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:27:52Z","timestamp":1330208872000},"page":"79-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["The KIWIS knowledge base management system"],"prefix":"10.1007","author":[{"given":"M.","family":"Ahlsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"D'Atri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Johannesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Laenens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Leone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Rullo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Staes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Tarantino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Van Beirendonck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"van Cadsand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Van Santvliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Vanslembrouck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Verdonk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"5_CR1","unstructured":"S. Abiteboul, \u201cTowards a deductive object-oriented database language,\u201d in Proceedings DOOD89, Kyoto, pp. 419\u2013438, 1989."},{"key":"5_CR2","unstructured":"M. Ahlsen and P. Johannesson, Contracts in Database Federations, SISU \u2014 Swedish Institute for Systems Development, Stockholm, Oct 1990. Presented at Conference on Cooperating Knowledge Based Systems, Keele, Oct 1990."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"R. Alonso and D. Barbara, \u201cNegotiating Data Access in Federated Database Systems,\u201d Proc. Fifth International Conference on Data Engineering, pp. 56\u201365, Los Angeles, Feb. 1989.","DOI":"10.1109\/ICDE.1989.47200"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik, \u201cThe object-oriented database system manifesto,\u201d in Proceedings DOOD89, Kyoto, pp. 40\u201357, 1989.","DOI":"10.1016\/B978-0-444-88433-6.50020-4"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"W. Chen and D. S. Warren, \u201cC-Logic of Complex Objects,\u201d in Proc. of the Eight Symposium on Principles of Database Systems, pp. 369\u2013378, 1989.","DOI":"10.1145\/73721.73757"},{"key":"5_CR6","unstructured":"M. Dalal and D. Gangopadhyay, \u201cOOLP: A translation approach to object-oriented logic programming,\u201d in Proceedings DOOD89, Kyoto, pp. 555\u2013568, 1989."},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/4229.4233","volume":"3","author":"D. Heimbigner","year":"1985","unstructured":"D. Heimbigner and D. McLeod, \u201cA Federated Architecture for Information Management,\u201d ACM Transactions on Office Information Systems, vol. 3, no. 3, pp. 253\u2013278, 1985.","journal-title":"ACM Transactions on Office Information Systems"},{"key":"5_CR8","unstructured":"D. Heimbigner, \u201cA federated system for software management,\u201d IEEE Database Engineering Bulletin, vol. 10, no. 3, 1987."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"C. Hewitt and P. deJong, \u201cOpen Systems,\u201d in On Conceptual Modelling, ed. J. Schmidt, pp. 147\u2013164, Springer Verlag, 1984.","DOI":"10.1007\/978-1-4612-5196-5_6"},{"key":"5_CR10","unstructured":"P. Johannesson and B. Wangler, The Negotiation Mechanism in a Decentralized Autonomous Cooperating Information Systems Architecture, 1988. Tech. Report Nr. 62, SYSLAB, University of Stockholm, S-10691 Stocholm, Sweden"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"M. Kifer and G. Lausen, \u201cF-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance and Scheme,\u201d in Proc. of SIGMOD, pp. 134\u2013146, 1989.","DOI":"10.1145\/66926.66939"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"E. Laenens, D. Vermeir, and B. Verdonk, \u201cLOCO, a logic-based language for complex objects,\u201d in Proceedings of the Esprit conference, pp. 604\u2013616, 1989.","DOI":"10.1007\/978-94-009-1063-8_46"},{"key":"5_CR13","unstructured":"E. Laenens, F. Staes, and D. Vermeir, \u201cA Customizable Window-Interface to Object-Oriented Databases,\u201d in Proc. of the ECOOP conference, pp. 367\u2013382, 1989."},{"issue":"2","key":"5_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1093\/logcom\/1.2.159","volume":"1","author":"E. Laenens","year":"1990","unstructured":"E. Laenens and D. Vermeir, \u201cA Fixpoint Semantics of Ordered Logic,\u201d Journal of Logic and Computation, vol. 1, no. 2, pp. 159\u2013185, 1990.","journal-title":"Journal of Logic and Computation"},{"key":"5_CR15","unstructured":"E. Laenens, B. Verdonk, D. Vermeir, and D. Sacca, \u201cThe LOCO language: towards an integration of logic and object oriented progra mming,\u201d Proceedings of the Workshop on Logic Programming and Non-Monotonic Reasoning, Austin, Texas, 1990."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"E. Laenens, D. Sacca, and D. Vermeir, \u201cExtending logic programming,\u201d in Proceedings of the SIGMOD conference, pp. 184\u2013193, 1990.","DOI":"10.1145\/93605.98728"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"E. Laenens and D. Vermeir, On the Relationship between Well-Founded and Stable Partial Models, 1991. Proc. of the Mathematical Fundamentals of Database and Knowledge Base Systems,to appear","DOI":"10.1007\/3-540-54009-1_5"},{"key":"5_CR18","unstructured":"N. Leone, A. Mecchia, M. Romeo, G. Rossi, and P. Rullo, \u201cFrom DATALOG to Ordered Logic Programming,\u201d in Proc. of the 13th Int. Seminar on DBMS, Romania, 1990."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"H. Lieberman, \u201cUsing Prototypical Objects to Implement Shared Behavior in Object-Oriented Systems,\u201d OOPSLA '86, pp. 214\u2013223, 1986.","DOI":"10.1145\/28697.28718"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott and J. Doyle, \u201cNon-monotonic logic I,\u201d Artificial Intelligence, vol. 13, pp. 41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0167-9236(88)90100-5","volume":"4","author":"D. Nute","year":"1988","unstructured":"D. Nute, \u201cDefeasible reasoning and decision support systems,\u201d Decision support systems, vol. 4, pp. 97\u2013110, 1988.","journal-title":"Decision support systems"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski, \u201cEvery logic program has a natural stratification and an iterated fixed point model,\u201d in Proc. of the Symposium on Principles Of Database Systems, pp. 11\u201321, 1989.","DOI":"10.1145\/73721.73723"},{"key":"5_CR23","unstructured":"P. Rullo, P. Rossi, and D. Sacca, Revised Specification of BQM, 1990. The KIWIS project, Report D2"},{"key":"5_CR24","unstructured":"P. Rullo, P. Rossi, and D. Sacca, BQM: strategies and basic architecture, 1990. The KIWIS project, Report BLM4"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"R.G. Smith, \u201cThe Contract Net Protocol: High-Level Communication and Control in a Distrib,\u201d Readings in Distributed Artificial Intelligence, pp. 357\u2013366, 1980.","DOI":"10.1016\/B978-0-934613-63-7.50039-5"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"F. Staes, E. Laenens, L. Tarantino, and D. Vermeir, \u201cA seamless integration of graphics and dialogues within a logic based object-oriented language,\u201d Journal of Visual Languages and Computing, p. to appear, 1990.","DOI":"10.1016\/S1045-926X(05)80018-7"},{"key":"5_CR27","unstructured":"F. Staes and L. Tarantino, Report G2: Revised specifications of the User Interface, 1990. Esprit P2424 (KIWIS) Report G2"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"L. Stein, \u201cDelegation is Inheritance,\u201d OOPSLA '87, pp. 138\u2013146, 1987.","DOI":"10.1145\/38765.38820"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"The KIWIs Team, \u201cThe KIWI(s) projects: past and future,\u201d in Proc. of 6th Esprit Conference, pp. 594\u2013603, 1989.","DOI":"10.1007\/978-94-009-1063-8_45"},{"key":"5_CR30","unstructured":"D.S. Touretzky, \u201cImplicit ordering of defaults in inheritance systems,\u201d in Proceedings 5th National Conference on Artificial Intelligence (AAAI), pp. 322\u2013325, Austin, TX, 1984. Also in \u2018Readings in nonmonotonic reasoning', M.L. Ginsberg"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54059-8_81","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:14:13Z","timestamp":1742591653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54059-8_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540595","9783540473787"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-54059-8_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"29 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}