{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:03Z","timestamp":1725664983392},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615323"},{"type":"electronic","value":"9783540687290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61532-6_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:52:35Z","timestamp":1330275155000},"page":"534-545","source":"Crossref","is-referenced-by-count":1,"title":["On formation of exception hierarchy"],"prefix":"10.1007","author":[{"given":"Kouzou","family":"Ohara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noboru","family":"Babaguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tadahiro","family":"Kitahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"45_CR1","unstructured":"Babaguchi, N., Ohara, K., Katsurada, K., and Kitahashi, T.: Knowledge Conversion Initiated by Contradiction, Proc.9th Annual Conference of JSAI(1995)53\u201356"},{"key":"45_CR2","unstructured":"Genesereth, M.R. and Nilsson, N.J.: Logical Foundations of Artificial Intelligence, Morgan Kaufmann(1987)"},{"key":"45_CR3","unstructured":"Konolige, K.: Hierarchic Autoepistemic Theory for Nonmonotonic Reasoning: Preliminary Report, Proc.2nd Workshop on Non-monotonic Reasoning(1988)42\u201359"},{"key":"45_CR4","unstructured":"Lifschitz, V.: Benchmark Problems for Nonmonotonic Reasoning, Proc.2nd Workshop on Non-monotonic Reasoning(1988)202\u2013219"},{"key":"45_CR5","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 Formalizing Common-Sense Knowledge, Artif.Intell., Vol. 28(1986)89\u2013116","journal-title":"Artif.Intell."},{"key":"45_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Moore, R. C.: Semantical Considerations on Non-Monotonic Logic, Artif.Intell., Vol. 25(1985)75\u201394","journal-title":"Artif.Intell."},{"key":"45_CR7","unstructured":"Ohara, K., Babaguchi, N., and Kitahashi, T.: Acquiring Hierarchic Structure from Knowledge Including Exceptions, Proc.9th Annual Conference of JSAI(1995)61\u201364"},{"issue":"No.6","key":"45_CR8","first-page":"1433","volume":"36","author":"K. Ohara","year":"1995","unstructured":"Ohara, K., Babaguchi, N., and Kitahashi, T.: Relational Algebraic Representation for Query Procedure in Advanced Logical DataBase Handling Incomplete Knowledge, Trans.IPS.Japan, Vol. 36, No.6(1995)1433\u20131440","journal-title":"Trans.IPS.Japan"},{"issue":"No.1\/2","key":"45_CR9","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, Artif.Intell., Vol. 13, No.1\/2(1980)81\u2013132","journal-title":"Artif.Intell."}],"container-title":["Lecture Notes in Computer Science","PRICAI'96: Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61532-6_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:33:56Z","timestamp":1619559236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61532-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615323","9783540687290"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-61532-6_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}