{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:57Z","timestamp":1725455937488},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018450","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"317-332","source":"Crossref","is-referenced-by-count":3,"title":["A logical basis for object oriented programming"],"prefix":"10.1007","author":[{"given":"E.","family":"Laenens","sequence":"first","affiliation":[]},{"given":"D.","family":"Vermeir","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"21_CR1","unstructured":"N. D. Belnap, \u201cA Useful four-valued logic,\u201d in Modern uses of multi-valued logic, pp. 8\u201337, D. Reidel Publ. Co., 1975."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"O.P. Buneman and M.P. Atkinson, \u201cInheritance and Persistence in Database Programming Languages,\u201d Proceedings of the ACM Sigmod International Conference on Management of Data, pp. 4\u201315, 1986.","DOI":"10.1145\/16856.16858"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume":"173","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli, \u201cA Semantics of Multiple Inheritance,\u201d in Lecture Notes in Computer Science, vol. 173, pp. 51\u201367, Springer, 1984.","journal-title":"Lecture Notes in Computer Science"},{"key":"21_CR4","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":"21_CR5","unstructured":"D. Gabbay, A. Hunter, E. Laenens, and D. Vermeir, Hierarchical logic for perspectives, In preparation."},{"key":"21_CR6","unstructured":"P. Geerts and D. Vermeir, Sceptical vs. credulous reasoning in ordered logic, 1989. in preparation"},{"key":"21_CR7","unstructured":"M. Gelfond and V. Lifschitz, \u201cThe Stable Model Semantics for Logic Programming,\u201d in Proc. of the Intl. Conf. on Logic Programming, pp. 1071\u20131079, 1988."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"M. Kifer and J. Wu, \u201cA Logic for Object-Oriented Logic Programming,\u201d in Proc. of the Eight Symposium on Principles of Database Systems, pp. 379\u2013393, 1989.","DOI":"10.1145\/73721.73758"},{"key":"21_CR9","unstructured":"E. Laenens, Private communication, 1989."},{"key":"21_CR10","unstructured":"E. Laenens, P. Geerts, and D. Vermeir, Autoepistemic reasoning and ordered logic, 1989. In preparation"},{"key":"21_CR11","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":"21_CR12","doi-asserted-by":"crossref","unstructured":"E. Laenens, D. Vermeir, and D. Sacca, \u201cExtending logic programming,\u201d in Proceedings of the SIGMOD conference, pp. 184\u2013193, 1990.","DOI":"10.1145\/93597.98728"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"E. Laenens and D. Vermeir, \u201cA Fixpoint Semantics of Ordered Logic,\u201d Journal of Logic and Computation, to appear, 1990.","DOI":"10.1093\/logcom\/1.2.159"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"C. Lecluse and P. Richard, \u201cModeling Complex Structures in Object-Oriented Databases,\u201d in Proc. of the Symposium on Principles Of Database Systems, pp. 360\u2013368, 1989.","DOI":"10.1145\/73721.73756"},{"key":"21_CR15","unstructured":"D. Maier, \u201cA logic for Objects,\u201d in Proc. of the Workshop on Foundations of Deductive Databases and Logic Programming, pp. 6\u201326, 1986."},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0164-1212(88)90022-2","volume":"8","author":"B. Meyer","year":"1988","unstructured":"B. Meyer, \u201cEiffel: A Language and Environment for Software,\u201d The Journal of Systems and Software, vol. 8, pp. 199\u2013246, 1988.","journal-title":"The Journal of Systems and Software"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"R.C. Moore, \u201cSemantical considerations on nonmonotonic logic,\u201d Artificial Intelligence, vol. 25, pp. 75\u201394, 1985. Also in \u2018Readings in nonmonotonic reasoning', M.L. Ginsberg","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"21_CR18","unstructured":"D. Nute, LDR: a logic for defeasible reasoning, 1986. ACMC Research Report 01-0013"},{"key":"21_CR19","doi-asserted-by":"crossref","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":"21_CR20","unstructured":"T. C. Przymusinski, \u201cPerfect Model Semantics,\u201d in Proc. of the Intl. Conf. on Logic Programming, 1988."},{"key":"21_CR21","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"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. Ross, and J. S. Schlipf, \u201cUnfounded Sets and Well-Founded Semantics for General Logic Programs,\u201d in Proc. of the Symposium on Principles of Database Systems, pp. 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"},{"key":"21_CR23","unstructured":"D. Vermeir, D. Nute, and P. Geerts, \u201cA defeasible logic for multi-expert systems,\u201d in Proc. of the Intl. Symposium on Computational Intelligence 89, Elsevier Publ. Co., 1989."},{"key":"21_CR24","first-page":"1","volume":"1","author":"D. Vermeir","year":"1989","unstructured":"D. Vermeir, D. Nute, and P. Geerts, \u201cA logic for defeasible perspectives,\u201d in Proc. of the 1988 Tubingen Workshop on Semantic Networks and Nonmonotonic Reasoning, Vol. 1, pp. 1\u201327, SNS-Bericht 89\u201348, 1989.","journal-title":"Proc. of the 1988 Tubingen Workshop on Semantic Networks and Nonmonotonic Reasoning"},{"key":"21_CR25","unstructured":"D. Vermeir, E. Laenens, B. Verdonk, and A. Cuyt, \u201cA Logic for Objects and Inheritance,\u201d in Proc. of the Advanced Database Symposium, Kyoto, pp. 55\u201360, Information Processing Society of Japan, 1989."},{"key":"21_CR26","first-page":"534","volume":"III","author":"D. Vermeir","year":"1990","unstructured":"D. Vermeir, D. Nute, and P. Geerts, \u201cModeling Defeasible Reasoning with Multiple Agents,\u201d in Proc. of the HICSS, Vol. III, pp. 534\u2013543, 1990.","journal-title":"Proc. of the HICSS"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:36:36Z","timestamp":1586558196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0018450","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}