Publication:3994497

zbMath0669.03002MaRDI QIDQ3994497

No author found.

Publication date: 17 September 1992

zbMATH Keywords

counterfactuals; uncertainty; possibility theory; fuzzy sets; artificial intelligence; Kripke semantics; Automated reasoning; preference relations; vagueness; game-theoretic semantics; knowledge bases; circumscription; intuitionistic semantics; closed-world assumption; non-monotonic logics; Logics; semantic networks; Probabilistic logic; default logics; Belief functions; Autoepistemic logic; modalities as temporal operators; Non-standard logics; subjective probability. modal logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

68T99: Artificial intelligence

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

00Bxx: Conference proceedings and collections of articles

Related Items

COMPARATIVE BELIEFS AND THEIR MEASUREMENTS, TOTAL UNCERTAINTY REVISITED, THE SEMANTICS OF PLAUSIBILITY AND POSSIBILITY, Unnamed Item, Graded hypothesis theories, On a KTB-modal fuzzy logic, Statistical consistency with Dempster's rule on diagnostic trees having uncertain performance parameters, Evidence, knowledge, and belief functions, Resolving misunderstandings about belief functions, How much do you believe!, The consistency of Dempster-Shafer updating, On considerations of credibility of evidence, On dynamics of cautious belief and conditional objects, Constructive and algebraic methods of the theory of rough sets, An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation, Belief functions: The disjunctive rule of combination and the generalized Bayesian theorem, Proof methods for reasoning about possibility and necessity, Partial inconsistency of probability envelopes, Families of OWA operators, The transferable belief model, Anytime deduction for probabilistic logic, A natural prior probability distribution derived from the propositional calculus, Multi-dimensional logic programming: theoretical foundations, Possibilistic reasoning -- a mini-survey and uniform semantics, Network of probabilities associated with a capacity of order-2, Belief functions and default reasoning, Integrating case- and rule-based reasoning, Reasoning in evidential networks with conditional belief functions, On the normalization of fuzzy belief structures, Modal logic interpretation of Dempster-Shafer theory: An infinite case, A numerical strategy to defectuous knowledge using, A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic, A sequential formulation of a logic based on fuzzy modalities, A theoretical investigation into quantitative modal logic, An axiomatic framework for propagating uncertainty in directed acyclic networks