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):
Displaying 8 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- 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)
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
