Pages that link to "Item:Q4399717"
From MaRDI portal
The following pages link to Extensions for open default theories via the domain closure assumption (Q4399717):
Displaying 10 items.
- Default theories over monadic languages (Q860840) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- A comparative study of open default theories (Q1855239) (← links)
- The complexity of predicate default logic over a countable domain (Q1861328) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- Ordered seminormal default theories and their extensions (Q4004731) (← links)
- Open default theories over closed domains (Q4934056) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- Extensions for open default theories via the domain closure assumption (Q5236446) (← links)