Pages that link to "Item:Q3994497"
From MaRDI portal
The following pages link to Non-standard logics for automated reasoning (Q3994497):
Displaying 50 items.
- An evidential approach to SLAM, path planning, and active exploration (Q274441) (← links)
- Constructing and evaluating alternative frames of discernment (Q432979) (← links)
- Combining various types of belief structures (Q528768) (← links)
- Graded hypothesis theories (Q673394) (← links)
- Perspectives on the theory and practice of belief functions (Q751097) (← links)
- A logic for fuzzy data analysis (Q805610) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- A new combination of evidence based on compromise (Q835178) (← links)
- The logical view of conditioning and its application to possibility and evidence theories (Q910394) (← links)
- A logic-based analysis of Dempster-Shafer theory (Q918733) (← links)
- Explaining evidential analyses (Q1123643) (← links)
- On a KTB-modal fuzzy logic (Q1189907) (← links)
- Statistical consistency with Dempster's rule on diagnostic trees having uncertain performance parameters (Q1190184) (← links)
- Evidence, knowledge, and belief functions (Q1190194) (← links)
- Resolving misunderstandings about belief functions (Q1190195) (← links)
- How much do you believe! (Q1190196) (← links)
- The consistency of Dempster-Shafer updating (Q1209527) (← links)
- On considerations of credibility of evidence (Q1209528) (← links)
- On dynamics of cautious belief and conditional objects (Q1209536) (← links)
- Constructive and algebraic methods of the theory of rough sets (Q1298348) (← links)
- An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation (Q1302220) (← links)
- Belief functions: The disjunctive rule of combination and the generalized Bayesian theorem (Q1308975) (← links)
- Proof methods for reasoning about possibility and necessity (Q1310399) (← links)
- Partial inconsistency of probability envelopes (Q1311721) (← links)
- Families of OWA operators (Q1315844) (← links)
- The transferable belief model (Q1327158) (← links)
- Anytime deduction for probabilistic logic (Q1337678) (← links)
- A natural prior probability distribution derived from the propositional calculus (Q1344630) (← links)
- Using probability trees to compute marginals with imprecise probabilities (Q1347925) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Possibilistic reasoning -- a mini-survey and uniform semantics (Q1391902) (← links)
- The application of the matrix calculus to belief functions. (Q1399494) (← links)
- Resource bounded and anytime approximation of belief function computations. (Q1399499) (← links)
- New architectures for constructed complex systems (Q1402194) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Network of probabilities associated with a capacity of order-2 (Q1573382) (← links)
- Belief functions and default reasoning (Q1583512) (← links)
- Revision of possibility distributions: A Bayesian inference pattern (Q1590605) (← links)
- A neural model for fuzzy Dempster-Shafer classifiers (Q1594845) (← links)
- A correspondence between belief function combination and knowledge base merging (Q1726311) (← links)
- A method of aggregation in DS/AHP for group decision-making with the non-equivalent importance of individuals in the group (Q1777161) (← links)
- Integrating case- and rule-based reasoning (Q1803551) (← links)
- Reasoning in evidential networks with conditional belief functions (Q1809346) (← links)
- On the normalization of fuzzy belief structures (Q1809348) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- Direct algorithms for checking consistency and making inferences from conditional probability assessments (Q1888857) (← links)
- A numerical strategy to defectuous knowledge using (Q1897415) (← links)
- A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic (Q1914422) (← links)
- A sequential formulation of a logic based on fuzzy modalities (Q1915270) (← links)
- A theoretical investigation into quantitative modal logic (Q1920333) (← links)
