The following pages link to (Q3198881):
Displaying 4 items.
- A generic ATMS (Q1125788) (← links)
- Cumulative default logic: In defense of nonmonotonic inference rules (Q1187215) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)