Pages that link to "Item:Q1187215"
From MaRDI portal
The following pages link to Cumulative default logic: In defense of nonmonotonic inference rules (Q1187215):
Displaying 5 items.
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
