Pages that link to "Item:Q598578"
From MaRDI portal
The following pages link to An annotated logic theorem prover for an extended possibilistic logic (Q598578):
Displayed 5 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)
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency (Q598579) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- A comparison of fuzzy and annotated logic programming (Q1827314) (← links)