{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:53:31Z","timestamp":1729673611673,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/fuzz-ieee.2016.7737680","type":"proceedings-article","created":{"date-parts":[[2016,11,16]],"date-time":"2016-11-16T23:19:22Z","timestamp":1479338362000},"page":"140-147","source":"Crossref","is-referenced-by-count":1,"title":["Fast evaluations in product logic various pruning techniques"],"prefix":"10.1109","author":[{"given":"Raed","family":"Basbous","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tibor","family":"Tajti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benedek","family":"Nagy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/BF01268618"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/s00153-004-0225-3"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/s005000050046"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1142\/AFSAT"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/ITI.2005.1491200"},{"key":"ref15","first-page":"119","article-title":"Short circuit evaluations in gödel type logic","volume":"415","author":"basbous","year":"0","journal-title":"Proc of FANCCO 2015 5th International Conference on Fuzzy and Neuro Computing Source of the Document Advances in Intelligent Systems and Computing"},{"key":"ref16","article-title":"Artificial Intelligence","author":"rich","year":"1991","journal-title":"McGraw-Hill New York"},{"year":"2003","author":"russell","article-title":"Artificial Intelligence, a Modern Approach","key":"ref17"},{"key":"ref18","first-page":"171","article-title":"Optimal strategy in games with chance nodes","volume":"18","author":"melk\u00f3","year":"2007","journal-title":"Acta Cybernetica"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/CogInfoCom.2014.7020518"},{"key":"ref4","article-title":"Zum intuitioonischen Aussagenkalkül”, Anzeigner Akademie der Wissenschaften im Wien, Mathematish-Naturwissenschaftliche Klasse, 69, 65–66, 1932; “On the intuitionistic propositional calculus","volume":"1","author":"g\u00f6del","year":"1986","journal-title":"reprinted in Kurt Gödel Collected Works"},{"year":"1987","author":"barwise","article-title":"The liar: An essay on truth and circularity","key":"ref3"},{"year":"1970","author":"lukasiewicz","article-title":"Selected Works Studies in Logic and The Foundations of Mathematics","key":"ref6"},{"key":"ref5","article-title":"Many-Valued Logic","author":"gottwald","year":"2015","journal-title":"The Stanford Encyclopedia of Philosophy"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1023\/A:1005026229560"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-662-43505-2_2"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","article-title":"Metamathematics of Fuzzy Logic","volume":"4","author":"h\u00e1jek","year":"1998","journal-title":"Trends in Logic"},{"year":"1977","author":"bell","article-title":"A Course In Mathematical Logic","key":"ref1"},{"key":"ref9","first-page":"613","article-title":"A General Fuzzy Logic Using Intervals","author":"nagy","year":"2005","journal-title":"Proc of 6th International Symposium of Hungarian Researchers on Computational Intelligence"},{"key":"ref20","first-page":"127","article-title":"Strategies to Fast Evaluation of Tree Networks","volume":"12","author":"basbous","year":"2015","journal-title":"Acta Polytechnica Hungarica Acta Polytechnica Hungarica"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/11783183_18"},{"key":"ref21","first-page":"11","article-title":"Games with few players","author":"lakatos","year":"2004","journal-title":"Proc of ICAI'2004 6th International Conference on Applied Informatics"}],"event":{"name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2016,7,24]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2016,7,29]]}},"container-title":["2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7694773\/7737658\/07737680.pdf?arnumber=7737680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:45:05Z","timestamp":1498362305000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7737680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2016.7737680","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}