Pages that link to "Item:Q4805685"

The following pages link to Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants (Q4805685):

Displaying 10 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 top-\(k\) query answering procedure for fuzzy logic programming (Q695268) (← links)
• Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence (Q814478) (← links)
• Fuzzy \(rr\)DFCSP and planning (Q814480) (← links)
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
• FTClogic: fuzzy temporal constraint logic (Q2328912) (← links)
• Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description (Q2842591) (← links)
• Semantics for possibilistic disjunctive programs (Q2845121) (← links)
• A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA (Q2974674) (← links)