Pages that link to "Item:Q2278099"
From MaRDI portal
The following pages link to Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations (Q2278099):
Displaying 12 items.
- On stratified belief base compilation (Q702098) (← links)
- Structural inference from conditional knowledge bases (Q742546) (← links)
- Compilation of conditional knowledge bases for computing c-inference relations (Q1647473) (← links)
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem (Q1783735) (← links)
- Nonmonotonic reasoning from conditional knowledge bases with system W (Q2075375) (← links)
- Semantic splitting of conditional belief bases (Q2117582) (← links)
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models (Q2238598) (← 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)
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference (Q6630188) (← links)
- Core c-representations and c-core closure for conditional belief bases (Q6630189) (← links)
- Scaling up nonmonotonic c-inference via partial MaxSAT problems (Q6630195) (← links)
