Pages that link to "Item:Q3451208"
From MaRDI portal
The following pages link to Symbolic Possibilistic Logic: Completeness and Inference Methods (Q3451208):
Displaying 5 items.
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- Possibilistic reasoning with partially ordered beliefs (Q893599) (← links)
- An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) (← links)
- Qualitative conditioning in an interval-based possibilistic setting (Q1795144) (← links)
- Possibilistic vs. relational semantics for logics of incomplete information (Q2320333) (← links)