Pages that link to "Item:Q3541044"
From MaRDI portal
The following pages link to Paraconsistent Logic Programs with Four-Valued Rough Sets (Q3541044):
Displaying 4 items.
- Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic (Q985144) (← links)
- An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs (Q1978009) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Bilattice tableau calculi with rough set semantics (Q6623867) (← links)