The following pages link to (Q4282550):
Displaying 4 items.
- Inference engine based on closure and join operators over truth table binary relations (Q406448) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- Alternative approaches to default logic (Q1342221) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)