{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:42Z","timestamp":1725564882045},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404941"},{"type":"electronic","value":"9783540450627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45062-7_48","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T02:14:10Z","timestamp":1283566450000},"page":"588-593","source":"Crossref","is-referenced-by-count":2,"title":["ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Haenni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Anrig, B., Bissig, R., Haenni, R., Kohlas, J., Lehmann, N.: Probabilistic argumentation systems: Introduction to assumption-based modeling with ABEL. Technical Report 99-1, Institute of Informatics, University of Fribourg (1999)","key":"48_CR1"},{"key":"48_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BFb0035621","volume-title":"Qualitative and Quantitative Practical Reasoning","author":"B. Anrig","year":"1997","unstructured":"Anrig, B., Haenni, R., Kohlas, J., Lehmann, N.: Assumption-based modeling using ABEL. In: Nonnengart, A., Kruse, R., Ohlbach, H.J., Gabbay, D.M. (eds.) FAPR 1997 and ECSQARU 1997. LNCS, vol.\u00a01244, pp. 171\u2013182. Springer, Heidelberg (1997)"},{"unstructured":"Anrig, B., Haenni, R., Lehmann, N.: ABEL \u2013 a new language for assumptionbased evidential reasoning under uncertainty. Technical Report 97-01, Institute of Informatics, University of Fribourg (1997)","key":"48_CR3"},{"issue":"1\u20133","key":"48_CR4","first-page":"177","volume":"34","author":"D. Berzati","year":"2002","unstructured":"Berzati, D., Haenni, R., Kohlas, J.: Probabilistic argumentation systems and abduction. Annals of Mathematics and Artificial Intelligence\u00a034(1\u20133), 177\u2013195 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"48_CR5","first-page":"627","volume-title":"Proceedings of the 18th National Conference on Artificial Intelligence","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A.: A compiler for deterministic, decomposable negation normal form. In: Proceedings of the 18th National Conference on Artificial Intelligence, pp. 627\u2013634. AAAI Press, Menlo Park (2002)"},{"key":"48_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption-based TMS. Artificial Intelligence\u00a028, 127\u2013162 (1986)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"48_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0888-613X(00)00063-3","volume":"26","author":"R. Haenni","year":"2001","unstructured":"Haenni, R.: Cost-bounded argumentation. International Journal of Approximate Reasoning\u00a026(2), 101\u2013127 (2001)","journal-title":"International Journal of Approximate Reasoning"},{"key":"48_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-46019-5_9","volume-title":"Soft-Ware 2002: Computing in an Imperfect World","author":"R. Haenni","year":"2002","unstructured":"Haenni, R.: A query-driven anytime algorithm for argumentative and abductive reasoning. In: Bustard, D.W., Liu, W., Sterritt, R. (eds.) Soft-Ware 2002. LNCS, vol.\u00a02311, pp. 114\u2013127. Springer, Heidelberg (2002)"},{"key":"48_CR9","series-title":"Algorithms for Uncertainty and Defeasible Reasoning","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-94-017-1737-3_6","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"R. Haenni","year":"2000","unstructured":"Haenni, R., Kohlas, J., Lehmann, N.: Probabilistic argumentation systems. In: Kohlas, J., Moral, S. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems. Algorithms for Uncertainty and Defeasible Reasoning, vol.\u00a05, pp. 221\u2013288. Kluwer, Dordrecht (2000)"},{"issue":"1","key":"48_CR10","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1002\/int.10076","volume":"18","author":"R. Haenni","year":"2003","unstructured":"Haenni, R., Lehmann, N.: Probabilistic argumentation systems: a new perspective on Dempster-Shafer theory. International Journal of Intelligent Systems (Special Issue: the Dempster-Shafer Theory of Evidence)\u00a018(1), 93\u2013106 (2003)","journal-title":"International Journal of Intelligent Systems (Special Issue: the Dempster-Shafer Theory of Evidence)"},{"key":"48_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence\u00a064, 81\u2013129 (1993)","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Saffiotti, A., Umkehrer, E.: PULCINELLA: A general tool for propagating uncertainty in valuation networks. Technical report, IRIDIA, Universit\u00e9 de Bruxelles (1991)","key":"48_CR12","DOI":"10.1016\/B978-1-55860-203-8.50046-2"},{"key":"48_CR13","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"The Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: The Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"48_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0004-3702(94)90026-4","volume":"66","author":"P.. Smets","year":"1994","unstructured":"Smets, P., Kennes, R.: The transferable belief model. Artificial Intelligence\u00a066, 191\u2013234 (1994)","journal-title":"Artificial Intelligence"},{"unstructured":"Stallman, R., Wing, B.: XEmacs User\u2019s Manual (1994)","key":"48_CR15"},{"unstructured":"Steele, G.L.: Common Lisp \u2013 the Language. Digital Press (1990)","key":"48_CR16"}],"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-540-45062-7_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T06:31:00Z","timestamp":1636353060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45062-7_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404941","9783540450627"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45062-7_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}