{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T05:46:06Z","timestamp":1740894366556,"version":"3.38.0"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/iske.2010.5680813","type":"proceedings-article","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T14:05:57Z","timestamp":1294409157000},"page":"147-152","source":"Crossref","is-referenced-by-count":0,"title":["An algebraic method for managing reliability in propositional logics"],"prefix":"10.1109","author":[{"given":"Antonio","family":"Hernando","sequence":"first","affiliation":[]},{"given":"Eugenio","family":"Roanes-Lozano","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Montero","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(02)00134-2"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1002\/0471249696","article-title":"Probability and Finance: It's Only a Game!","author":"shafer","year":"2001"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(97)00088-8"},{"key":"ref32","first-page":"91","article-title":"Verification of Knowledge Based Systems: An Algebraic Interpretation","author":"roanes-lozano","year":"1995","journal-title":"Proceedings of the International Conference on Artifiical Intelligence (IJCAI-95) (Workshop on Verification and Validation of Knowledge Based Systems)"},{"key":"ref31","article-title":"Verification of Knowledge Based Systems with Commutative Algebra and Computer Algebra Techniques","author":"roanes-lozano","year":"1995","journal-title":"Proceedings of the 1st International Conference on Applications of Computer Algebra (IMACS)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(01)00370-6"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90040-3"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1111\/j.2517-6161.1982.tb01211.x","article-title":"Belief functions and parametric models (with discussion)","volume":"44","author":"shafer","year":"1982","journal-title":"J R Stat Soc Ser B"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","author":"shafer","year":"1976","journal-title":"A Mathematical Theory of Evidence"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2005.09.011"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1214\/ss\/1177010888"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.2007.4353499"},{"key":"ref13","first-page":"95","article-title":"A Pommaret Division Algorithm for Computing Gröbner Bases in Boolean Rings","author":"gerdt","year":"2008","journal-title":"Proceedings of the International Symposium on Symbolic and Algebraic Computation ISSAC 2008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90102-3"},{"key":"ref15","article-title":"Probabilistic satisfiability","author":"hansen","year":"1996","journal-title":"Report G-96–31 Les Cahiers du GERAD Ecole Polytechnique de Montréal"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90074-8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1012497.1012521"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-2084-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60156-2_18"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90031-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-7074-1_3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.10.017"},{"key":"ref3","first-page":"475","author":"buchberger","year":"0","journal-title":"Journal of Symbolic Computation 41\/3-4 (2006)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80043-0"},{"journal-title":"Probabilistic Reasoning in Intelligent Systems","year":"1988","author":"pearl","key":"ref29"},{"year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","article-title":"An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"cox","year":"1992","journal-title":"Ideals Varieties and Algorithms"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.03.001"},{"article-title":"A computational approach to commutative algebra","year":"1993","author":"becker","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2007.08.002"},{"key":"ref1","first-page":"307","article-title":"Lógicas Polivalentes y Bases de Gröbner","author":"alonso","year":"1995","journal-title":"Actas del IV Congreso de Lenguajes Naturales y Lenguajes formales"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s005000050086"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6571-3"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45497-7_22","article-title":"A methodology for constructing expert systems for medical diagnosis","volume":"2199","author":"laita","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"ref21","first-page":"473","article-title":"An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques","author":"laita","year":"2000","journal-title":"Computers & Mathematics with Applications"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-3472-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2007.05.039"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176345868"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","article-title":"Local computations with probabilities on graphical structures and their application to expert systems (with discussion)","volume":"50","author":"lauritzen","year":"1988","journal-title":"J Roy Stat Soc Ser B"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(00)00031-1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.005"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00009-7"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.577","article-title":"Probabilistic deduction with conditional constraints over basic events","volume":"10","author":"lukasiewicz","year":"1999","journal-title":"Journal of Artificial Intelligence Research"}],"event":{"name":"2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2010,11,15]]},"location":"Hangzhou, China","end":{"date-parts":[[2010,11,16]]}},"container-title":["2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5676709\/5680739\/05680813.pdf?arnumber=5680813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:18:27Z","timestamp":1740838707000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5680813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/iske.2010.5680813","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}