The following pages link to KOMET (Q33160):
Displaying 4 items.
- Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants (Q598575) (← links)
- An annotated logic theorem prover for an extended possibilistic logic (Q598578) (← links)
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)