Pages that link to "Item:Q1073787"
From MaRDI portal
The following pages link to Completeness results for circumscription (Q1073787):
Displaying 10 items.
- A theorem on the consistency of circumscription (Q578934) (← links)
- Decidability and definability with circumscription (Q579240) (← links)
- Circumscription: Completeness reviewed (Q685339) (← links)
- Autocircumscription (Q1105394) (← links)
- Nonmonotonic logic and temporal projection (Q1108819) (← links)
- The importance of open and recursive circumscription (Q1117210) (← links)
- Results on translating defaults to circumscription (Q1117211) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Note about cardinality-based circumscription (Q1575190) (← links)
- An extension of pointwise circumscription (Q2676573) (← links)
