{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:27:13Z","timestamp":1725492433368},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72432-2_61","type":"book-chapter","created":{"date-parts":[[2007,9,19]],"date-time":"2007-09-19T04:32:12Z","timestamp":1190176332000},"page":"600-607","source":"Crossref","is-referenced-by-count":0,"title":["Extension or Resolution: A Novel Approach for Reasoning in Possibilistic Logic"],"prefix":"10.1007","author":[{"given":"Yin","family":"Minghao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jigui","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"61_CR1","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1109\/TSMC.1987.4309063","volume":"17","author":"D. Dubois","year":"1987","unstructured":"Dubois, D., Prade, H.: Necessity measures and the resolution principle. IEEE Trans. On Sys., Man and Cyber.\u00a017, 474\u2013478 (1987)","journal-title":"IEEE Trans. On Sys., Man and Cyber."},{"issue":"1","key":"61_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0888-613X(90)90006-N","volume":"4","author":"D. Dubois","year":"1990","unstructured":"Dubois, D., Prade, H.: Resolution Principles in possibilistic logic. Int. Journal of Approximate Reasoning\u00a04(1), 1\u201321 (1990)","journal-title":"Int. Journal of Approximate Reasoning"},{"key":"61_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","volume":"40","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., Lang, J., Prade, H.: Fuzzy sets in approximate reasoning-Part 2: logical approaches. Fuzzy sets and systems\u00a040, 203\u2013244 (1991)","journal-title":"Fuzzy sets and systems"},{"issue":"1","key":"61_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1023\/A:1027339205632","volume":"31","author":"H. Lin","year":"2003","unstructured":"Lin, H., Sun, J., Zhang, J.: Theorem Proving Based On Extension Rule. Journal of Automated Reasoning\u00a031(1), 11\u201321 (2003)","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"61_CR5","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/B:JARS.0000029959.45572.44","volume":"32","author":"H. Lin","year":"2004","unstructured":"Lin, H., Sun, J.: Knowledge Compilation Using Extension Rule. Journal of Automated Reasoning\u00a032(2), 93\u2013102 (2004)","journal-title":"Journal of Automated Reasoning"},{"key":"61_CR6","unstructured":"Benferhat, S., Prade, H.: Compiling possibilistic knowledge bases. In: Proceedings of ECAI 2006 (2006)"},{"key":"61_CR7","unstructured":"Cayrol, D., Dubois, D., Prade, H.: Practical model-based diagnosis with qualitative possibilistic uncertainty. In: Proceedings of UAI 1995, pp. 68\u201376 (1995)"},{"key":"61_CR8","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0004-3702(03)00037-7","volume":"148","author":"D. Dubois","year":"2003","unstructured":"Dubois, D., et al.: Qualitative decision theory with preference relations and comparative uncertainty: An axiomatic approach. Artificial Intelligence\u00a0148, 219\u2013260 (2003)","journal-title":"Artificial Intelligence"},{"key":"61_CR9","first-page":"904","volume-title":"Proceedings of AAAI-1991","author":"B. Selman","year":"1991","unstructured":"Selman, B., Kautz, H.A.: Knowledge compilation using Horn approximation. In: Proceedings of AAAI-1991, pp. 904\u2013909. AAAI Press, Menlo Park (1991)"},{"key":"61_CR10","doi-asserted-by":"crossref","unstructured":"del Val, A.: Tractable databases: How to make propositional unit resolution complete through compilation. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 551\u2013561 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50146-9"},{"key":"61_CR11","first-page":"510","volume-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96)","author":"R. Schrag","year":"1996","unstructured":"Schrag, R.: Compilation for critically constrained knowledge bases. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp. 510\u2013515. AAAI Press, Menlo Park (1996)"},{"key":"61_CR12","unstructured":"Marquis, P.: Knowledge compilation using theory prime implicates. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), pp. 837\u2013843 (1995)"},{"key":"61_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00088-0","volume":"116","author":"A. Val del","year":"2000","unstructured":"del Val, A.: On some tractable classes in deduction and abduction. Artificial Intelligence\u00a0116, 297\u2013313 (2000)","journal-title":"Artificial Intelligence"}],"container-title":["Advances in Soft Computing","Analysis and Design of Intelligent Systems using Soft Computing Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72432-2_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:13:23Z","timestamp":1619518403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72432-2_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724315"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72432-2_61","relation":{},"subject":[]}}