Pages that link to "Item:Q2075376"
From MaRDI portal
The following pages link to Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings (Q2075376):
Displaying 4 items.
- Properties of system W and its relationships to other inductive inference operators (Q2103918) (← links)
- A transformation system for unique minimal normal forms of conditional knowledge bases (Q2401873) (← links)
- An implementation of nonmonotonic reasoning with system W (Q6045090) (← links)
- Rational closure extension in SPO-representable inductive inference operators (Q6545563) (← links)