Pages that link to "Item:Q1647473"
From MaRDI portal
The following pages link to Compilation of conditional knowledge bases for computing c-inference relations (Q1647473):
Displaying 9 items.
- On stratified belief base compilation (Q702098) (← links)
- A kind of logical compilation for knowledge bases (Q1331921) (← links)
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem (Q1783735) (← links)
- Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations (Q2237135) (← links)
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations (Q2278099) (← links)
- (Q3493328) (← links)
- (Q4014095) (← links)
- Splitting techniques for conditional belief bases in the context of c-representations (Q6545557) (← links)
- Representing nonmonotonic inference based on c-representations as an SMT problem (Q6587922) (← links)