KOMET

swMATH21352MaRDI QIDQ33160FDOQ33160

Author name not available (Why is that?)

Cited In (4)

• 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
• Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description

This page was built for software: KOMET