Pages that link to "Item:Q4684358"
From MaRDI portal
The following pages link to Symbolic possibilistic logic: completeness and inference methods (Q4684358):
Displaying 6 items.
- Possibilistic logic: a retrospective and prospective view (Q598572) (← links)
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations (Q2278099) (← links)
- Possibilistic vs. relational semantics for logics of incomplete information (Q2320333) (← 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)