{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:48:02Z","timestamp":1725533282275},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029059"},{"type":"electronic","value":"9783642029066"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02906-6_50","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T23:07:29Z","timestamp":1244243249000},"page":"578-589","source":"Crossref","is-referenced-by-count":3,"title":["A Default Logic Patch for Default Logic"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Gr\u00e9goire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Ramon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"50_CR1","doi-asserted-by":"publisher","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\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"50_CR2","first-page":"304","volume-title":"European conference on Artificial Intelligence (ECAI 1992)","author":"T. Schaub","year":"1992","unstructured":"Schaub, T.: On constrained default theories. In: Neumann, B. (ed.) European conference on Artificial Intelligence (ECAI 1992), New York, NY, USA, pp. 304\u2013308. John Wiley & Sons, Inc., Chichester (1992)"},{"key":"50_CR3","doi-asserted-by":"crossref","first-page":"283","DOI":"10.7551\/mitpress\/4307.003.0024","volume-title":"Workshop on Logic Programming and Non-Monotonic Reasoning (LPNMR 1993)","author":"A. Mikitiuk","year":"1993","unstructured":"Mikitiuk, A., Truszczy\u0144ski, M.: Rational default logic and disjunctive logic programming. In: Workshop on Logic Programming and Non-Monotonic Reasoning (LPNMR 1993), pp. 283\u2013299. MIT Press, Cambridge (1993)"},{"issue":"1","key":"50_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. Lukaszewicz","year":"1988","unstructured":"Lukaszewicz, W.: Considerations on default logic: an alternative approach. Computational intelligence\u00a04(1), 1\u201316 (1988)","journal-title":"Computational intelligence"},{"issue":"2","key":"50_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"Brewka, G.: Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence\u00a050(2), 183\u2013205 (1991)","journal-title":"Artificial Intelligence"},{"key":"50_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Inconsistency Tolerance","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol.\u00a03300. Springer, Heidelberg (2005)"},{"issue":"1","key":"50_CR7","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.inffus.2005.07.002","volume":"7","author":"S. Konieczny","year":"2006","unstructured":"Konieczny, S., Gr\u00e9goire, E.: Logic-based information fusion in artificial intelligence. Information Fusion\u00a07(1), 4\u201318 (2006)","journal-title":"Information Fusion"},{"key":"50_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-60112-0_6","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"P. Besnard","year":"1995","unstructured":"Besnard, P., Hunter, A.: Quasi-classical logic: Non-trivializable classical reasoning from incosistent information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol.\u00a0946, pp. 44\u201351. Springer, Heidelberg (1995)"},{"issue":"2-3","key":"50_CR9","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence\u00a057(2-3), 227\u2013270 (1992)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"50_CR10","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob, G.: Complexity results for nonmonotonic logics. Journal of Logic Computation\u00a02(3), 397\u2013425 (1992)","journal-title":"Journal of Logic Computation"},{"key":"50_CR11","first-page":"387","volume-title":"European Conference on Artificial Intelligence (ECAI 2006)","author":"E. Gr\u00e9goire","year":"2006","unstructured":"Gr\u00e9goire, E., Mazure, B., Piette, C.: Extracting muses. In: European Conference on Artificial Intelligence (ECAI 2006), pp. 387\u2013391. IOS Press, Amsterdam (2006)"},{"key":"50_CR12","unstructured":"Gr\u00e9goire, E., Mazure, B., Piette, C.: Boosting a complete technique to find mss and mus thanks to a local search oracle. In: International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2300\u20132305 (2007)"},{"key":"50_CR13","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire, E., Mazure, B., Piette, C.: Tracking muses and strict inconsistent covers. In: ACM\/IEEE Conference on Formal Methods in Computer Aided Design (FMCAD 2006), pp. 39\u201346 (2006)","DOI":"10.1109\/FMCAD.2006.34"},{"key":"50_CR14","first-page":"27","volume-title":"Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), Deventer, The Netherlands","author":"G. Brewka","year":"2000","unstructured":"Brewka, G., Eiter, T.: Prioritizing default logic. In: Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), Deventer, The Netherlands, pp. 27\u201345. Kluwer Academic Publishers, Dordrecht (2000)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02906-6_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T09:53:51Z","timestamp":1710410031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02906-6_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029059","9783642029066"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02906-6_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}