{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T15:05:16Z","timestamp":1747580716474},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[1996,4]]},"DOI":"10.1007\/bf00117816","type":"journal-article","created":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T02:09:24Z","timestamp":1099188564000},"page":"165-175","source":"Crossref","is-referenced-by-count":1,"title":["A proof procedure for normal default theories"],"prefix":"10.1007","volume":"6","author":[{"given":"N.","family":"Obeid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"E. Adams, The Logic of Conditionals, edited by D. Reidel, Dordrecht, Netherlands, 1975.","DOI":"10.1007\/978-94-015-7622-2"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1207\/s15516709cog0101_2","volume":"1","author":"D.G. Borbow","year":"1977","unstructured":"D.G. Borbow and T. Winograd, ?An overview of KRLL: A knowledge representation language,? Cognitive Science, vol. 1, pp. 3?46, 1977.","journal-title":"Cognitive Science"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-12-256380-5.50007-4","volume-title":"Associative Networks: Representation and Use of Knowledge by Computers","author":"R. Brachman","year":"1979","unstructured":"R. Brachman, ?On the epistemological status of semantic networks,? in Associative Networks: Representation and Use of Knowledge by Computers, edited by N.V. Findler, Academic Press: New York, pp. 3?50, 1979."},{"key":"CR4","unstructured":"G. Brewka, ?Nonmonotonic reasoning from theoretical foundations to efficient computation,? Ph.D. Thesis, Draft Version, 1988."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","volume":"33","author":"J.P. Delgrande","year":"1987","unstructured":"J.P. Delgrande, ?A first-order logic for prototypical properties,? Artificial Intelligence, vol. 33, pp. 105?130, 1987.","journal-title":"Artificial Intelligence"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","volume":"36","author":"J.P. Delgrande","year":"1988","unstructured":"J.P. Delgrande, ?An approach to default reasoning based on a first-order conditional logic: Revised report,? Artificial Intelligence, vol. 36, pp. 63?90, 1988.","journal-title":"Artificial Intelligence"},{"key":"CR7","volume-title":"Research Notes in Artificial Intelligence","author":"D.W. Etherington","year":"1988","unstructured":"D.W. Etherington, ?Reasoning with incomplete information,? Research Notes in Artificial Intelligence, Pitman: London, 1988."},{"key":"CR8","unstructured":"D.W. Etherington and R. Reiter, ?On inheritance hierarchies with exceptions,? Proceeding of the AAAI, Seattle, 1983, pp. 104?108."},{"key":"CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4917.001.0001","volume-title":"NETL: A System for Representing and Using Real-World Knowledge","author":"S.E. Fahlman","year":"1979","unstructured":"S.E. Fahlman, NETL: A System for Representing and Using Real-World Knowledge, MIT Press: Cambridge, MA, 1979."},{"key":"CR10","unstructured":"H. Geffner and J. Pearl, ?A framework for reasoning with defaults,? UCLA Cognitive Systems Laboratory, Technical Report 870058 (R-94), March 1988."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"M.L. Ginsberg, ?A circumscriptive theorem prover,? Second International Workshop on NonMonotonic Reasoning, Lecture Notes in Artificial Intelligence 346, Springer-Verlag, 1989, pp. 100?115.","DOI":"10.1016\/0004-3702(89)90026-X"},{"key":"CR12","first-page":"119","volume-title":"Third International Workshop on NonMonotonic Reasoning","author":"M.L. Ginsberg","year":"1990","unstructured":"M.L. Ginsberg, ?A local formalization of inheritance: Preliminary report,? Third International Workshop on NonMonotonic Reasoning, South Lake Tahoe: California, 1990, pp. 119?129."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"G. Hendrix, ?Expanding the utility of semantic networks through partioning,? Fourth International Conference on Artificial Intelligence, 1975, pp. 115?121.","DOI":"10.21236\/ADA458082"},{"key":"CR14","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"V. Lifschitz","year":"1987","unstructured":"V. Lifschitz, ?On the dectarative semantics of logic programs with negation,? in Foundations of Deductive Databases and Logic Programming, edited by J. Minker, Morgan Kaufmann Publishers: Los Angeles, CA, 1987."},{"key":"CR15","unstructured":"W. Lukaszewicz, ?Two results on default logic,? Proceeding of the International Joint Conference on Artificial Intelligence, Los Angeles, 1985, pp. 459?461."},{"key":"CR16","unstructured":"N. Obeid and M. Fang, ?On some aspects of default reasoning,? 4th Australian Joint Conference on AI, Perth, Western Australia, 1990."},{"key":"CR17","unstructured":"D.L. Poole, ?A logical system for default reasoning,? AAAI Workshop on Non-Monotonic Reasoning, NY, pp. 373?384, 1984."},{"key":"CR18","unstructured":"D.L. Poole, ?On the comparison of theories: Preferring the most specific explanation,? IJCAI-9, pp. 144?147, 1985."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D.L. Poole","year":"1988","unstructured":"D.L. Poole, ?A logical framework for default reasoning,? Artificial Intelligence, vol. 36, pp. 27?47, 1988.","journal-title":"Artificial Intelligence"},{"key":"CR20","unstructured":"T. Przymusinsky, ?Query Answering in circumscriptive and closed world theories,? Fifth American Association ofor Artificial Intelligence, Philadelphia, PA, 1986, pp. 186?190."},{"key":"CR21","unstructured":"T. Przymusinsky, ?On the realtionship between logic programming and non-monotonic reasoning,? Seventh American Association ofor Artificial Intelligence, St. Paul, Minnesota, 1988."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"R. Reiter, ?A logic for default reasoning,? Artificial Intelligence, vol. 13, 1980.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"CR23","unstructured":"D.E. Rumelhart and D.A. Norman, ?Active semantic networks as a model of human memory,? Third International Joint Conference on Artificial Intelligence, Palo Alto, CA, 1973, pp. 470?476."},{"key":"CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-50701-9_23","volume-title":"Second International, Workshop on Non-Monotonic Reasoning","author":"B. Selman","year":"1989","unstructured":"B. Selman and H. Kautz, ?The complexity of model-preference default theories,? Second International, Workshop on Non-Monotonic Reasoning, Lecture Notes in Artificial Intelligence 346, Springer-Verlag: Berlin, 1989, pp. 115?130."},{"key":"CR25","volume-title":"The Mathematics of Inheritance Systems","author":"D.S. Touretzky","year":"1986","unstructured":"D.S. Touretzky, The Mathematics of Inheritance Systems, Pitman: London, 1986."},{"key":"CR26","unstructured":"R. Turner, Logics for Artificial Intelligence, Ellis Horwood Limited, pp. 59?76, 1984."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00117816.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00117816\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00117816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T16:18:35Z","timestamp":1585930715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00117816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["BF00117816"],"URL":"https:\/\/doi.org\/10.1007\/bf00117816","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,4]]}}}