{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:58Z","timestamp":1725490198573},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_36","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"440-441","source":"Crossref","is-referenced-by-count":2,"title":["A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming"],"prefix":"10.1007","author":[{"given":"Emilia","family":"Oikarinen","sequence":"first","affiliation":[]},{"given":"Tomi","family":"Janhunen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"36_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell.\u00a032(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"36_CR2","first-page":"121","volume-title":"IJCAI 1985","author":"V. Lifschitz","year":"1985","unstructured":"Lifschitz, V.: Computing circumscription. In: IJCAI 1985, Los Angeles, CA, USA, pp. 121\u2013127. Morgan Kaufmann, San Francisco (1985)"},{"key":"36_CR3","doi-asserted-by":"publisher","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 commonsense knowledge. Artif. Intell.\u00a028, 89\u2013116 (1986)","journal-title":"Artif. Intell."},{"key":"36_CR4","series-title":"Lecture Notes in Artificial Intelligence","first-page":"175","volume-title":"Logics in Artificial Intelligence","author":"T. Janhunen","year":"2004","unstructured":"Janhunen, T., Oikarinen, E.: Capturing parallel circumscription with disjunctive logic programs. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 175\u2013187. Springer, Heidelberg (2004)"},{"key":"36_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/11546207_36","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"E. Oikarinen","year":"2005","unstructured":"Oikarinen, E., Janhunen, T.: CIRC2DLP\u2013Translating circumscription into disjunctive logic programming. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 405\u2013409. Springer, Heidelberg (2005)"},{"key":"36_CR6","series-title":"LNCS (LNAI)","first-page":"175","volume-title":"LPNMR 2007","author":"T. Janhunen","year":"2007","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 175\u2013187. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:17Z","timestamp":1619519417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_36","relation":{},"subject":[]}}