Pages that link to "Item:Q1346240"
From MaRDI portal
The following pages link to An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240):
Displaying 12 items.
- Possibilistic logic: a retrospective and prospective view (Q598572) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Proof methods for reasoning about possibility and necessity (Q1310399) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- Extending uncertainty formalisms to linear constraints and other complex formalisms (Q2379316) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Uncertain lightweight ontologies in a product-based possibility theory framework (Q2411268) (← links)
- Extending description logics with uncertainty reasoning in possibilistic logic (Q3168949) (← links)
- Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic (Q3524995) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
- Provenance calculus and possibilistic logic: a parallel and a discussion (Q6587941) (← links)