KOMET
From MaRDI portal
Cited in
(6)- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
- FRIL
- Medmaker
- Mechanizing Mathematical Reasoning
- Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
- An annotated logic theorem prover for an extended possibilistic logic
This page was built for software: KOMET
