{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:19Z","timestamp":1725636379827},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531326"},{"type":"electronic","value":"9783642760716"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-76071-6_17","type":"book-chapter","created":{"date-parts":[[2011,11,22]],"date-time":"2011-11-22T13:16:55Z","timestamp":1321967815000},"page":"150-159","source":"Crossref","is-referenced-by-count":1,"title":["Conditioned Circumscription: Translating Defaults to Circumscription"],"prefix":"10.1007","author":[{"given":"Gaby","family":"Merziger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Memo 34","author":"M Bauer","year":"1989","unstructured":"M. Bauer and G. Merziger. Conditioned Circumscription: Translating Defaults to Circumscription. Memo 34, Universit\u00e4t des Saarlandes, 1989."},{"key":"17_CR2","volume-title":"Nonmonotonic Reasoning \u2014 From Theoretical Foundations Towards Efficient Computation","author":"G Brewka","year":"1989","unstructured":"Gerhard Brewka. Nonmonotonic Reasoning \u2014 From Theoretical Foundations Towards Efficient Computation. PhD thesis, Universit\u00e4t Hamburg, 1989."},{"key":"17_CR3","volume-title":"Reasoning with Incomplete Information","author":"DW Etherington","year":"1988","unstructured":"David W. Etherington. Reasoning with Incomplete Information. Morgan Kaufmann, Los Altos, California, 1988."},{"key":"17_CR4","first-page":"115","volume-title":"Default reasoning as circumscription","author":"B Grosof","year":"1984","unstructured":"Benjamin Grosof. Default reasoning as circumscription. In Non-Monotonic Reasoning Workshop, New Paltz, pages 115\u2013124, 1984."},{"key":"17_CR5","first-page":"131","volume":"31","author":"T Imielinski","year":"1987","unstructured":"Tomasz Imielinski. Results on translating defaults to circumscription. AI, 31:131\u2013146, 1987.","journal-title":"AI"},{"key":"17_CR6","first-page":"121","volume-title":"Computing circumscription","author":"V Lifschitz","year":"1985","unstructured":"Vladimir Lifschitz. Computing circumscription. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 121\u2013127, 1985."},{"key":"17_CR7","first-page":"179","volume-title":"Readings in Nonmonotonic Reasoning","author":"V Lifschitz","year":"1987","unstructured":"Vladimir Lifschitz. Pointwise circumscription. In Matthew L. Ginsberg, editor, Readings in Nonmonotonic Reasoning, pages 179\u2013193, Morgan Kaufmann, Los Altos, California, 1987."},{"key":"17_CR8","first-page":"165","volume-title":"Considerations on default logic","author":"W Lukaszewicz","year":"1984","unstructured":"Witold Lukaszewicz. Considerations on default logic. In Non-Monotonic Reasoning Workshop, New Paltz, pages 165\u2013193, 1984."},{"key":"17_CR9","volume-title":"Defaults, preorder semantics and circumscription","author":"K Schlechta","year":"1987","unstructured":"Karl Schlechta. Defaults, preorder semantics and circumscription. 1987. (unpublished)"}],"container-title":["Informatik-Fachberichte","GWAI-90 14th German Workshop on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76071-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:03:03Z","timestamp":1606255383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76071-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531326","9783642760716"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76071-6_17","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}