Pages that link to "Item:Q2075375"
From MaRDI portal
The following pages link to Nonmonotonic reasoning from conditional knowledge bases with system W (Q2075375):
Displaying 9 items.
- Structural inference from conditional knowledge bases (Q742546) (← links)
- Properties of system W and its relationships to other inductive inference operators (Q2103918) (← links)
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations (Q2278099) (← links)
- An implementation of nonmonotonic reasoning with system W (Q6045090) (← links)
- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds (Q6488128) (← links)
- Rational closure extension in SPO-representable inductive inference operators (Q6545563) (← links)
- Approximations of system W between c-inference, system Z, and lexicographic inference (Q6587919) (← links)
- Representing nonmonotonic inference based on c-representations as an SMT problem (Q6587922) (← links)
- Scaling up nonmonotonic c-inference via partial MaxSAT problems (Q6630195) (← links)