Pages that link to "Item:Q4004731"
From MaRDI portal
The following pages link to Ordered seminormal default theories and their extensions (Q4004731):
Displaying 6 items.
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Seminormal stratified default theories (Q1380425) (← links)
- New proofs in default logic theory (Q1924751) (← links)
- Seminormalizing a default theory (Q3647232) (← links)
- Extensions for open default theories via the domain closure assumption (Q4399717) (← links)
- Extensions for open default theories via the domain closure assumption (Q5236446) (← links)