Pages that link to "Item:Q647339"
From MaRDI portal
The following pages link to Proof complexity of propositional default logic (Q647339):
Displaying 8 items.
- Restricted default theories: expressive power and outlier detection tasks (Q483301) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- On the complexity of extension checking in default logic (Q844157) (← links)
- (Q4379673) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Proof Complexity of Non-classical Logics (Q5900979) (← links)
- Strong backdoors for default logic (Q6570091) (← links)
- Strong backdoors for default logic (Q6610193) (← links)
