Sequent calculus and data fusion

DOI10.1016/S0165-0114(00)00067-1zbMath0979.68114OpenAlexW2002720015MaRDI QIDQ5947552

Claudio Sossai, Paolo Bison, Gaetano Chemello

Publication date: 16 October 2001

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(00)00067-1

zbMATH Keywords

possibilistic logicdata fusion

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Machine vision and scene understanding (68T45)

Related Items (1)

Fusion of symbolic knowledge and uncertain information in robotics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Fuzzy sets as a basis for a theory of possibility
• The three semantics of fuzzy sets
• The transferable belief model
• Modeling a dynamic environment using a Bayesian multiple hypothesis approach
• Inferences in probability logic
• A qualitative fuzzy possibilistic logic
• Possibilistic reasoning -- a mini-survey and uniform semantics
• On the semantics of fuzzy logic
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Toward a competence theory of diagnosis
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• On Fuzzy Logic I Many‐valued rules of inference
• A modal logic for fusing partial belief of multiple reasoners
• A survey of belief revision and updating rules in various uncertainty models
• Reasoning about knowledge and probability
• Local possibilistic logic
• A weak completeness theorem for infinite valued first-order logic

This page was built for publication: Sequent calculus and data fusion