乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T23:10:40Z","timestamp":1723158640109},"reference-count":26,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"crossref","award":["TIN2015-70266-C2-1-P","TIN2016-76843-C4-2-R"],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1016\/j.fss.2016.09.004","type":"journal-article","created":{"date-parts":[[2016,9,14]],"date-time":"2016-09-14T20:31:49Z","timestamp":1473885109000},"page":"27-43","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":13,"special_numbering":"C","title":["On reductants in the framework of multi-adjoint logic programming"],"prefix":"10.1016","volume":"317","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-6482-3220","authenticated-orcid":false,"given":"Pascual","family":"Juli\u00e1n-Iranzo","sequence":"first","affiliation":[]},{"given":"Jes\u00fas","family":"Medina","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Ojeda-Aciego","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.fss.2016.09.004_br0010","series-title":"Proc. of the 9th International Joint Conference on Artificial Intelligence","first-page":"701","article-title":"Prolog-ELF incorporating fuzzy logic","author":"Ishizuka","year":"1985"},{"key":"10.1016\/j.fss.2016.09.004_br0020","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1109\/72.159071","article-title":"Neural fuzzy logic programming","volume":"3","author":"Eklund","year":"1992","journal-title":"IEEE Trans. Neural Netw."},{"key":"10.1016\/j.fss.2016.09.004_br0030","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","article-title":"Theory of generalized annotated logic programming and its applications","volume":"12","author":"Kifer","year":"1992","journal-title":"J. Log. Program."},{"key":"10.1016\/j.fss.2016.09.004_br0040","series-title":"Fril-Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"Baldwin","year":"1995"},{"key":"10.1016\/j.fss.2016.09.004_br0050","series-title":"Proc. of IEEE Symp. on Fuzzy Systems FUZZ-IEEE","first-page":"949","article-title":"Fuzzy prolog based on Lukasiewicz implication and bounded product","author":"Yasui","year":"1995"},{"key":"10.1016\/j.fss.2016.09.004_br0060","first-page":"559","article-title":"A framework for linguistic logic programming","volume":"25","author":"Cao","year":"2010","journal-title":"Int. J. Intell. Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0070","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1016\/j.fss.2008.11.028","article-title":"A hybrid programming scheme combining fuzzy-logic and functional-logic resources","volume":"160","author":"Moreno","year":"2009","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0080","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1017\/S1471068409003779","article-title":"Fuzzy linguistic logic programming and its applications","volume":"9","author":"Le","year":"2009","journal-title":"Theory Pract. Log. Program."},{"key":"10.1016\/j.fss.2016.09.004_br0090","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.fss.2003.10.019","article-title":"A comparison of fuzzy and annotated logic programming","volume":"144","author":"Kraj\u010di","year":"2004","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0100","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.fss.2003.10.017","article-title":"Fuzzy prolog: a new approach using soft constraints propagation","volume":"144","author":"Guadarrama","year":"2004","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0110","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","article-title":"Fuzzy logic programming","volume":"124","author":"Vojt\u00e1\u0161","year":"2001","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0120","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2014.04.013","article-title":"Fuzzy logic programming reduced to reasoning with attribute implications","volume":"262","author":"Kuhr","year":"2015","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0130","doi-asserted-by":"crossref","first-page":"1503","DOI":"10.3233\/IFS-130834","article-title":"A fuzzy linguistic prolog and its applications","volume":"26","author":"Rubio-Manzano","year":"2014","journal-title":"J. Intell. Fuzzy Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0140","series-title":"Fuzzy Logic and Applications","first-page":"109","article-title":"Towards categorical fuzzy logic programming","volume":"vol. 8256","author":"Eklund","year":"2013"},{"key":"10.1016\/j.fss.2016.09.004_br0150","series-title":"Proc. of 2011 IEEE Symposium on Foundations of Computational Intelligence","first-page":"138","article-title":"Improving completeness in multi-adjoint logic computations via general reductants","author":"Morcillo","year":"2011"},{"key":"10.1016\/j.fss.2016.09.004_br0160","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.fss.2003.11.005","article-title":"Similarity-based unification: a multi-adjoint approach","volume":"146","author":"Medina","year":"2004","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0170","series-title":"Logics in Artificial Intelligence","first-page":"694","article-title":"Revisiting reductants in the multi-adjoint logic programming framework","volume":"vol. 8761","author":"Juli\u00e1n-Iranzo","year":"2014"},{"key":"10.1016\/j.fss.2016.09.004_br0180","series-title":"Metamathematics of Fuzzy Logic, vol. 4","author":"H\u00e1jek","year":"1998"},{"key":"10.1016\/j.fss.2016.09.004_br0190","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.fss.2008.05.006","article-title":"An improved reductant calculus using fuzzy partial evaluation techniques","volume":"160","author":"Juli\u00e1n","year":"2009","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.fss.2016.09.004_br0200","series-title":"Partial Evaluation and Automatic Program Generation","author":"Jones","year":"1993"},{"key":"10.1016\/j.fss.2016.09.004_br0210","series-title":"Proc. of IX Jornadas sobre Programaci\u00f3n y Lenguajes","isbn-type":"print","first-page":"355","article-title":"A practical approach for ensuring completeness of multi-adjoint logic computations via general reductants","author":"Morcillo","year":"2009","ISBN":"http:\/\/id.crossref.org\/isbn\/9788469246009"},{"key":"10.1016\/j.fss.2016.09.004_br0220","series-title":"Proc. of XI Jornadas sobre Programaci\u00f3n y Lenguajes","isbn-type":"print","first-page":"154","article-title":"Simplifying general reductants with unfolding-based techniques","author":"Morcillo","year":"2011","ISBN":"http:\/\/id.crossref.org\/isbn\/9788497494878"},{"key":"10.1016\/j.fss.2016.09.004_br0230","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/j.fss.2016.09.004_br0240","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1145\/234528.234529","article-title":"Rules and strategies for transforming functional and logic programs","volume":"28","author":"Pettorossi","year":"1996","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.fss.2016.09.004_br0250","first-page":"16","article-title":"On Fuzzy Unfolding. A Multi-adjoint Approach","volume":"vol. 154","author":"Juli\u00e1n","year":"2005"},{"key":"10.1016\/j.fss.2016.09.004_br0260","series-title":"Proc. of the International Conference on Fuzzy Systems","first-page":"2004","article-title":"A tabulation proof procedure for first-order residuated logic programs: soundness, completeness and optimizations","author":"Dam\u00e1sio","year":"2006"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011416302755?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011416302755?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T01:19:13Z","timestamp":1601083153000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011416302755"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":26,"alternative-id":["S0165011416302755"],"URL":"https:\/\/doi.org\/10.1016\/j.fss.2016.09.004","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[2017,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On reductants in the framework of multi-adjoint logic programming","name":"articletitle","label":"Article Title"},{"value":"Fuzzy Sets and Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.fss.2016.09.004","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}