Pages that link to "Item:Q1819950"

The following pages link to Circumscription and implicit definability (Q1819950):

Displaying 5 items.

• Using approximate reasoning to represent default knowledge (Q578935) (← links)
• Completeness results for circumscription (Q1073787) (← links)
• Closed-world databases and circumscription (Q1079022) (← links)
• The importance of open and recursive circumscription (Q1117210) (← links)
• Definability and commonsense reasoning (Q1402721) (← links)