Recommendations
- scientific article; zbMATH DE number 3932427
- A resolution principle for constrained logics
- Resolution-based methods for modal logics
- Resolution calculi for modal logics
- Resolution in modal, description and hybrid logic
- scientific article; zbMATH DE number 4025402
- A resolution principle for a logic with restricted quantifiers
- Publication:3030269
- Decidability by resolution for propositional modal logics
- scientific article; zbMATH DE number 4055570
Cites work
- scientific article; zbMATH DE number 3912088 (Why is no real title available?)
- scientific article; zbMATH DE number 3928965 (Why is no real title available?)
- scientific article; zbMATH DE number 4010478 (Why is no real title available?)
- scientific article; zbMATH DE number 4025402 (Why is no real title available?)
- scientific article; zbMATH DE number 4064760 (Why is no real title available?)
- scientific article; zbMATH DE number 19876 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A note on the complexity of the satisfiability of modal Horn clauses
- Fuzzy Logic and the Resolution Principle
- Fuzzy sets
- Fuzzy sets as a basis for a theory of possibility
- Necessity Measures and the Resolution Principle
- Properties of measures of information in evidence and possibility theories
Cited in
(25)- Fuzzy temporal constraint logic: A valid resolution principle
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- Exploring Extensions of Possibilistic Logic over Gödel Logic
- scientific article; zbMATH DE number 5050044 (Why is no real title available?)
- Necessity Measures and the Resolution Principle
- A simple logic for reasoning about incomplete knowledge
- On the relation between possibilistic logic and modal logics of belief and knowledge
- Temporal scenario modelling and recognition based on possibilistic logic
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
- scientific article; zbMATH DE number 77919 (Why is no real title available?)
- Possibilistic logic: a retrospective and prospective view
- Approximate reasoning by similarity-based SLD resolution.
- Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
- Extending possibilistic logic over Gödel logic
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- An annotated logic theorem prover for an extended possibilistic logic
- Epistemic entrenchment and possibilistic logic
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Graded cubes of opposition and possibility theory with fuzzy events
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
- The possibilistic Horn non-clausal knowledge bases
- Symbolic possibilistic logic: completeness and inference methods
- Fuzzy sets in approximate reasoning. II: Logical approaches
- Relating and extending semantical approaches to possibilistic reasoning
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
This page was built for publication: Resolution principles in possibilistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911797)
