The following pages link to (Q4244306):
Displaying 13 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- On the complexity of extension checking in default logic (Q844157) (← links)
- A logical framework for default reasoning (Q1104777) (← links)
- On cumulative default logics (Q1321059) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Alternative approaches to default logic (Q1342221) (← links)
- Default logic about assertions (Q1344433) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Consistency defaults (Q2454638) (← links)
- (Q4442941) (← links)
- (Q4535116) (← links)
- A comparative survey of default logic variants (Q4632286) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)