KOMET
From MaRDI portal
Cited in
(6)- FRIL
- Medmaker
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
- 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
This page was built for software: KOMET
