The following pages link to (Q3830551):
Displaying 4 items.
- Cumulative default logic: In defense of nonmonotonic inference rules (Q1187215) (← links)
- A framework for controlling model-based diagnosis systems with multiple actions (Q1924804) (← links)
- A Fixed Point Semantics for the ATMS (Q4276177) (← links)
- Programming with Annotated Logics (Q5213779) (← links)