Pages that link to "Item:Q911797"
From MaRDI portal
The following pages link to Resolution principles in possibilistic logic (Q911797):
Displaying 20 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Possibilistic logic: a retrospective and prospective view (Q598572) (← links)
- Extending possibilistic logic over Gödel logic (Q622285) (← links)
- Temporal scenario modelling and recognition based on possibilistic logic (Q814498) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Epistemic entrenchment and possibilistic logic (Q1187217) (← links)
- Relating and extending semantical approaches to possibilistic reasoning (Q1328146) (← links)
- Approximate reasoning by similarity-based SLD resolution. (Q1607217) (← links)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- A simple logic for reasoning about incomplete knowledge (Q2353977) (← links)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- Graded cubes of opposition and possibility theory with fuzzy events (Q2406911) (← links)
- Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions (Q2641291) (← links)
- Fuzzy sets in approximate reasoning. II: Logical approaches (Q2641292) (← links)
- Exploring Extensions of Possibilistic Logic over Gödel Logic (Q3638210) (← links)
- On the relation between possibilistic logic and modal logics of belief and knowledge (Q4586230) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
- Fuzzy temporal constraint logic: A valid resolution principle (Q5946476) (← links)