Possibilistic reasoning -- a mini-survey and uniform semantics
From MaRDI portal
Publication:1391902
DOI10.1016/S0004-3702(96)00013-6zbMath0907.68180MaRDI QIDQ1391902
Churn-Jung Liau, Bertrand I-peng Lin
Publication date: 23 July 1998
Published in: Artificial Intelligence (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Possibilistic Justification Logic ⋮ Possibilistic logic: a retrospective and prospective view ⋮ Preferential accessibility and preferred worlds ⋮ A logical framework for privacy-preserving social network publication ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Sequent calculus and data fusion ⋮ On the possibility theory-based semantics for logics of preference ⋮ Belief fusion and revision: an overview based on epistemic logic semantics ⋮ Introducing Role Defeasibility in Description Logics ⋮ AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS ⋮ Logics for approximate entailment in ordered universes of discourse ⋮ Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence ⋮ Fuzzy \(rr\)DFCSP and planning
Cites Work
- Quick completeness proofs for some logics of conditionals
- Nonmonotonic reasoning, preferential models and cumulative logics
- Epistemic entrenchment and possibilistic logic
- A guide to completeness and complexity for modal logics of knowledge and belief
- Fuzzy sets as a basis for a theory of possibility
- Five faces of minimality
- From ordering-based nonmonotonic reasoning to conditional logics
- A theoretical investigation into quantitative modal logic
- On the semantics of fuzzy logic
- L-fuzzy sets
- Fuzzy sets in approximate reasoning. II: Logical approaches
- ON MODAL LOGIC INTERPRETATION OF POSSIBILITY THEORY
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
