{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:32Z","timestamp":1725663932885},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540546597"},{"type":"electronic","value":"9783540464266"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54659-6_96","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:08:27Z","timestamp":1330211307000},"page":"246-253","source":"Crossref","is-referenced-by-count":5,"title":["Hierarchical default logic"],"prefix":"10.1007","author":[{"given":"Craig","family":"MacNish","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"39_CR1","unstructured":"Brewka, G. Preferred Subtheories: An Extended Logical Framework for Default Reasoning. In Proc. IJCAI-89, pp. 1043\u20131048, Detroit, USA, 1989."},{"key":"39_CR2","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. W. Etherington","year":"1987","unstructured":"Etherington, D. W. Formalizing Nonmonotonic Reasoning Systems. Artificial Intelligence, 31 pp. 41\u201385, 1987.","journal-title":"Artificial Intelligence"},{"key":"39_CR3","unstructured":"Hanks, S. and McDermott, D. Default Reasoning, Nonmonotonic Logics, and the Frame Problem. In Proc. AAAI-86, pp. 328\u2013333, Philadelphia, USA, 1986."},{"key":"39_CR4","unstructured":"Konolige, K. Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning. In Proc. AAAI-88, pp. 439\u2013443, Saint Paul, USA, 1988."},{"key":"39_CR5","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K. On the Relation Between Default Theories and Autoepistemic Logic. Artificial Intelligence, 35 pp. 343\u2013382, 1988.","journal-title":"Artificial Intelligence"},{"key":"39_CR6","volume-title":"PhD thesis","author":"C. MacNish","year":"1991","unstructured":"MacNish, C. PhD thesis, Department of Engineering, Cambridge, UK, 1991. In preparation."},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"MacNish, C. Hierarchical Default Logic (Extended Version). Technical Report CUED\/F-INFENG\/TR.52, Cambridge University Engineering Department, 1991.","DOI":"10.1007\/3-540-54659-6_96"},{"key":"39_CR8","unstructured":"MacNish, C. Well-behaved Reasoning with Seminormal Defaults. In Proc. 4th International Symposium on AI, Canc\u00dan, Mexico, November 1991. To appear."},{"key":"39_CR9","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J. Applications of Circumscription to Formalising Common-Sense Knowledge. Artificial Intelligence, 28 pp. 89\u2013116, 1986.","journal-title":"Artificial Intelligence"},{"key":"39_CR10","unstructured":"Poole, D. L. On the Comparison of Theories: Preferring the Most Specific Explanation. In Proc. IJCAI-85, pp. 144\u2013147, Los Angeles, CA, 1985."},{"key":"39_CR11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R. A Logic for Default Reasoning. Artificial Intelligence, 13 pp. 81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"39_CR12","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y. Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning. Artificial Intelligence, 36 pp. 279\u2013331, 1988.","journal-title":"Artificial Intelligence"},{"key":"39_CR13","unstructured":"Touretzky, D. S., Horty, J. F. and Thomason, R. H. A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. In Proc. IJCAI-87, pp. 476\u2013482, Milan, Italy, 1987."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54659-6_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:13Z","timestamp":1605646573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54659-6_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540546597","9783540464266"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54659-6_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}