{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T08:51:18Z","timestamp":1648889478535},"reference-count":53,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1016\/s0165-0114(00)00067-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:05:28Z","timestamp":1027634728000},"page":"371-395","source":"Crossref","is-referenced-by-count":6,"title":["Sequent calculus and data fusion"],"prefix":"10.1016","volume":"121","author":[{"given":"Claudio","family":"Sossai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Bison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetano","family":"Chemello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0165-0114(00)00067-1_BIB1","series-title":"Boolean Valued Models and Independence Proofs in Set Theory","author":"Bell","year":"1985"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2307\/2271335","article-title":"A weak completeness theorem for infinite-valued first-order logic","volume":"28","author":"Belluce","year":"1963","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB3","series-title":"Uncertainty in Artificial Intelligence (UAI 98)","first-page":"8","article-title":"Merging uncertain knowledge bases in a possibilistic logic framework","author":"Benferhat","year":"1998"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB4","first-page":"423","article-title":"A robot duo for cooperative autonomous navigation","volume":"Vol. 2","author":"Bison","year":"1996"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB5","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1093\/logcom\/9.1.81","article-title":"A modal logic for merging partial belief of multiple reasoners","volume":"9","author":"Boldrin","year":"1999","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB6","series-title":"Uncertainty in Artificial Intelligence (UAI 95)","first-page":"27","article-title":"An algebraic semantics for possibilistic logic","author":"Boldrin","year":"1995"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB7","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1080\/11663081.1997.10510917","article-title":"Local possibilistic logic","volume":"7","author":"Boldrin","year":"1997","journal-title":"J. Appl. Non-Classical Logic"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB8","series-title":"Fuzzy Sets, Logics and Reasoning about Knowledge","first-page":"351","article-title":"Truth functionality and measure-based logics","author":"Boldrin","year":"1999"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB9","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","article-title":"Algebraic analysis of many-valued logics","volume":"88","author":"Chang","year":"1958","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB10","first-page":"74","article-title":"A new proof of the completeness of the \u0141ukasiewicz axioms","volume":"93","author":"Chang","year":"1959","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(94)90029-9","article-title":"Modeling a dynamic environment using a Bayesian multiple hypothesis approach","volume":"66","author":"Cox","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","article-title":"Fuzzy sets in approximate reasoning, part 2","volume":"40","author":"Dubois","year":"1991","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB13","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming \u2013 Nonmonotonic Reasoning and Uncertain Reasoning","first-page":"439","article-title":"Possibilistic logic","author":"Dubois","year":"1994"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB14","series-title":"Data Fusion in Robotics and Machine Intelligence","first-page":"481","article-title":"Combination of fuzzy information in the framework of possibility theory","author":"Dubois","year":"1992"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB15","doi-asserted-by":"crossref","unstructured":"D. Dubois, H. Prade, Fuzzy sets and probability: misunderstanding, bridges and gaps, Proc. 2nd IEEE Internat. Conf. on Fuzzy Systems, San Francisco, 1993, pp. 1059\u20131068.","DOI":"10.1109\/FUZZY.1993.327367"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB16","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1016\/0967-0661(94)90346-8","article-title":"Possibility theory and data fusion in poorly informed environments","volume":"2","author":"Dubois","year":"1994","journal-title":"Control Eng. Practice"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB17","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1002\/int.4550090105","article-title":"A survey of belief revision and updating rules in various uncertainty models","volume":"9","author":"Dubois","year":"1994","journal-title":"Internat. J. Intelligent Systems"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0165-0114(97)00080-8","article-title":"The three semantics of fuzzy sets","volume":"90","author":"Dubois","year":"1997","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB19","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","article-title":"Reasoning about knowledge and probability","volume":"41","author":"Fagin","year":"1994","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB20","series-title":"Fundamentals of Artificial Intelligence Research","first-page":"11","article-title":"A modal analysis of possibility theory","author":"Fari\u00f1as del Cerro","year":"1991"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB21","series-title":"Fuzzy Logic in Artificial Intelligence","first-page":"207","article-title":"Mobile robot localization using fuzzy maps","author":"Gas\u00f3s","year":"1997"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB22","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90102-3","article-title":"Inferences in probability logic","volume":"70","author":"Gerla","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB24","first-page":"65","article-title":"Zum intuitionistischen Aussagenkalk\u00fcl, Anzeiger Akademie der Wissenschaften in Wien","volume":"69","author":"G\u00f6del","year":"1932","journal-title":"Math. Naturwiss. Klasse"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB25","unstructured":"S. Gottwald, Many-valued and fuzzy logics, Eight European Summer School in Logic, Language and Information (ESSLLI\u201996), Prague, 1996."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(94)00011-Q","article-title":"A qualitative fuzzy possibilistic logic","volume":"12","author":"H\u00e1jek","year":"1995","journal-title":"Internat. J. Approx. Reason."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB27","doi-asserted-by":"crossref","unstructured":"L.P. Kaelbling, A.R. Cassandra, J.A. Kurien, Acting under uncertainty: Discrete Bayesian models for mobile-robot navigation, Internat. Conf. on Intelligent Robots and Systems (IROS\u201996), IEEE\/RSJ, 1996, pp. 963\u2013972.","DOI":"10.1109\/IROS.1996.571080"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB28","series-title":"Fuzzy Sets and Fuzzy Logic: Theory and Applications","author":"Klir","year":"1995"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB29","unstructured":"D. Kortenkamp, T. Weymouth, Topological mapping for mobile robots using a combination of sonar and vision sensing, Proc. 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, 1994, pp. 979\u2013984."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB30","series-title":"A hierarchy of qualitative representations for space, Qualitative Reasoning (QR-96)","first-page":"113","author":"Kuipers","year":"1996"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB31","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1177\/027836499201100402","article-title":"Dynamic map building for an autonomous mobile robot","volume":"11","author":"Leonard","year":"1992","journal-title":"Internat. J. Robotics Res."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB32","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0004-3702(96)00013-6","article-title":"Possibilistic reasoning \u2013 a mini-survey and uniform semantics","volume":"88","author":"Liau","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB33","first-page":"170","article-title":"O logice tr\u00f3jwarto\u015bciowej","volume":"5","author":"\u0141ukasiewicz","year":"1920","journal-title":"Ruch Filozoficzny"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB34","series-title":"Sheaves in Geometry and Logic: a First Introduction to Topos Theory","author":"Mac Lane","year":"1992"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB35","unstructured":"P. Moutarlier, R. Chatila, Stochastic multisensory data fusion for mobile robot location and environment modeling, Proc. 5th Internat. Symp. on Robotics Research, Tokyo, Japan, 1989, pp. 207\u2013216."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB36","series-title":"Non-Classical Logics and Their Applications to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory","first-page":"107","article-title":"A proof of the completeness of the infinite-valued calculus of \u0141ukasiewicz with one variable","author":"Mundici","year":"1995"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB37","first-page":"53","article-title":"Dervish, an office-navigating robot","volume":"16","author":"Nourbakhsh","year":"1995","journal-title":"Artificial Intelligence Mag."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB38","doi-asserted-by":"crossref","unstructured":"J. Pavelka, On fuzzy logic I, II, III, Z. Math. Logik Grundlagen Math. 25 (1979) 45\u201352; 119\u2013131; 447\u2013464.","DOI":"10.1002\/malq.19790250304"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB39","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","article-title":"Introduction to a general theory of elementary propositions","volume":"43","author":"Post","year":"1921","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB40","series-title":"Quantales and their Applications","author":"Rosenthal","year":"1990"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB41","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0888-613X(91)90006-8","article-title":"On the semantics of fuzzy logic","volume":"5","author":"Ruspini","year":"1991","journal-title":"Internat. J. Approx. Reason."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB42","unstructured":"A. Saffiotti (Ed.), First On-Line Workshop on Soft Computing (WSC1), Special Session on Using Fuzzy Logic in Autonomous Robotics (FLAR), http:\/\/iridia.ulb.ac.be\/saffiotti\/flar96.html, 1996."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB43","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/s005000050020","article-title":"The uses of fuzzy logic in autonomous robot navigation","volume":"1","author":"Saffiotti","year":"1997","journal-title":"Soft Comput."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB44","series-title":"Reasoning with Uncertainty in Robotics (RUR\u201995)","first-page":"368","article-title":"Perception-based self-localization using fuzzy locations","author":"Saffiotti","year":"1996"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB45","series-title":"The Foundations of Statistics","author":"Savage","year":"1972"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB46","series-title":"A Mathematical Theory of Evidence","author":"Shafer","year":"1976"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB47","unstructured":"R. Simmons, S. Koenig, Probabilistic navigation in partially observable environments, Proc. 14th Internat. Joint Conf. on Artificial Intelligence, Montr\u00e9al, 1995, pp. 1080\u20131087."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB48","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(94)90026-4","article-title":"The transferable belief model","volume":"66","author":"Smets","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB49","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1177\/027836498600500404","article-title":"On the representation and estimation of spatial uncertainty","volume":"5","author":"Smith","year":"1986","journal-title":"Internat. J. Robotics Res."},{"key":"10.1016\/S0165-0114(00)00067-1_BIB50","series-title":"Introduction to Axiomatic Set Theory","author":"Takeuti","year":"1971"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB51","series-title":"Fuzzy Measure Theory","author":"Wang","year":"1992"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB52","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","article-title":"Fuzzy sets as a basis for a theory of possibility","volume":"1","author":"Zadeh","year":"1978","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0165-0114(00)00067-1_BIB53","first-page":"43","article-title":"Why the success of fuzzy logic is not paradoxical","volume":"9","author":"Zadeh","year":"1994","journal-title":"IEEE Expert"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011400000671?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011400000671?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T15:55:05Z","timestamp":1555689305000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011400000671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":53,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["S0165011400000671"],"URL":"https:\/\/doi.org\/10.1016\/s0165-0114(00)00067-1","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}