{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:45:19Z","timestamp":1761579919000},"reference-count":43,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,8,1]],"date-time":"1998-08-01T00:00:00Z","timestamp":901929600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5472,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,8]]},"DOI":"10.1016\/s0004-3702(98)00073-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:20:41Z","timestamp":1027596041000},"page":"237-271","source":"Crossref","is-referenced-by-count":24,"title":["Inheritance comes of age: applying nonmonotonic techniques to problems in industry"],"prefix":"10.1016","volume":"103","author":[{"given":"Leora","family":"Morgenstern","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00073-3_BIB1","series-title":"Modeling Legal Argument: Reasoning with Cases and Hypotheses","author":"Ashley","year":"1991"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB2","series-title":"Proc. IJCAI-1989","first-page":"1043","article-title":"Preferred subtheories: an extended logical framework for default reasoning","author":"Brewka","year":"1989"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB3","series-title":"Programming in Prolog","author":"Clocksin","year":"1987"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB4","series-title":"Proc. 5th Conference on Theoretical Aspects of Reasoning about Knowledge","first-page":"5","article-title":"On the logic of iterated belief revision","author":"Darwiche","year":"1994"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB5","series-title":"Representations of Commonsense Knowledge","author":"Davis","year":"1990"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB6","series-title":"Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94)","first-page":"146","article-title":"A general approach to specificity in default reasoning","author":"Delgrande","year":"1994"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear time algorithms for testing the satisfiability of propositional Horn formulae","volume":"3","author":"Dowling","year":"1984","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB8","series-title":"Reasoning with Incomplete Information","author":"Etherington","year":"1988"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB9","series-title":"Knowledge in Flux","author":"Gardenfors","year":"1988"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB10","series-title":"Default Reasoning: Causal and Conditional Theories","author":"Geffner","year":"1990"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB11","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1990-13403","article-title":"Formalization of inheritance reasoning in autoepistemic logic","volume":"13","author":"Gelfond","year":"1990","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB12","series-title":"Readings in Nonmonotonic Reasoning","year":"1987"},{"issue":"3","key":"10.1016\/S0004-3702(98)00073-3_BIB13","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","article-title":"Complexity results for nonmonotonic logics","volume":"2","author":"Gottlob","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB14_1","series-title":"Proc. 2nd International Conference on Practical Applications of Intelligent Agents and Multi-Agent Technology (PAAM-97)","article-title":"Building commercial agents: an IBM research perspective","author":"Grosof","year":"1997"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB15_1","article-title":"Proritized conflict handling for logic programs","author":"Grosof","year":"1997","journal-title":"IBM Research Report RC20836"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB16","series-title":"Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning","first-page":"289","article-title":"Generalizing prioritization","author":"Grosof","year":"1991"},{"issue":"3","key":"10.1016\/S0004-3702(98)00073-3_BIB17","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic logic and temporal projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB18","first-page":"111","article-title":"Some direct theories of nonmonotonic inheritance","author":"Horty","year":"1994"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB19","series-title":"Proc. AAAI-1988","first-page":"427","article-title":"Mixing strict and defeasible inheritance","author":"Horty","year":"1988"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB20","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90057-7","article-title":"A skeptical theory of inheritance in nonmonotonic semantic networks","volume":"42","author":"Horty","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB21","series-title":"Proc. 1st International Conference on Principles of Knowledge Representation and Reasoning","first-page":"189","article-title":"Hard problems for simple default logics","author":"Kautz","year":"1989"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB22","series-title":"The Development of Logic","author":"Kneale","year":"1962"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB23","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models, and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(98)00073-3_BIB24","doi-asserted-by":"crossref","DOI":"10.1145\/122296.122310","article-title":"K-REP system overview","volume":"2","author":"Mays","year":"1991","journal-title":"SIGART Bulletin"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of nonmonotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB26","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common-sense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB27","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Nonmonotonic logic I","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB28","series-title":"Principles of Knowledge Representation and Reasoning: Proc. 5th International Conference (KR-96)","first-page":"268","article-title":"Inheriting well-formed formulae in a formula-augmented semantic network","author":"Morgenstern","year":"1996"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB29_1","series-title":"Proc. 3rd Symposium on Formal Theories of Commonsense Reasoning","article-title":"New problems for inheritance theories","author":"Morgenstern","year":"1996"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB30","series-title":"The Robot's Dilemma Revisited","first-page":"99","article-title":"The problem with solutions to the frame problem","author":"Morgenstern","year":"1996"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB31","series-title":"Proc. IJCAI-97","article-title":"An expert system using nonmonotonic techniques for benefits inquiry in the insurance industry","author":"Morgenstern","year":"1997"},{"issue":"1","key":"10.1016\/S0004-3702(98)00073-3_BIB32","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB33","series-title":"Proceedings of the Conference on Practical Applications of Prolog","year":"1997"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB34","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB35","series-title":"Proc. IJCAI-1981","first-page":"270","article-title":"On interacting defaults","author":"Reiter","year":"1981"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB36","series-title":"Logic Programming and Nonmonotonic Reasoning","article-title":"An implementation platform for query-answering in default logics: the XRay system, its implementation and evaluation","author":"Schaub","year":"1997"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB37","series-title":"Proc. 1JCA1-1983","article-title":"Classification in the KL-ONE Representation System","author":"Schmolze","year":"1983"},{"issue":"2","key":"10.1016\/S0004-3702(98)00073-3_BIB38","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0004-3702(93)90081-L","article-title":"The complexity of path-based defeasible inheritance","volume":"62","author":"Selman","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB39","series-title":"Solving the Frame Problem","author":"Shanahan","year":"1997"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB40","series-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Shoham","year":"1988"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB41","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0004-3702(92)90057-5","article-title":"Resolving ambiguity in nonmonotonic inheritance hierarchies","volume":"55","author":"Stein","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB42","series-title":"The Mathematics of Inheritance Systems","author":"Touretzky","year":"1986"},{"key":"10.1016\/S0004-3702(98)00073-3_BIB43","series-title":"Readings in Fuzzy Sets and Intelligent Systems","article-title":"Fuzzy sets","author":"Zadeh","year":"1992"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000733?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000733?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,7]],"date-time":"2023-04-07T02:20:04Z","timestamp":1680834004000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,8]]},"references-count":43,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,8]]}},"alternative-id":["S0004370298000733"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00073-3","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,8]]}}}