swMATH21352MaRDI QIDQ33160FDOQ33160
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/3-540-63614-5_31
Cited In (6)
- An annotated logic theorem prover for an extended possibilistic logic
- Mechanizing Mathematical Reasoning
- Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
- FRIL
- Medmaker
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
This page was built for software: KOMET
