Pages that link to "Item:Q598578"

The following pages link to An annotated logic theorem prover for an extended possibilistic logic (Q598578):

Displaying 2 items.

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
• Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591) (← links)