The following pages link to (Q5688898):
Displaying 4 items.
- Closed world assumptions having precedence in predicates (Q922726) (← links)
- Adding closed world assumptions to well-founded semantics (Q1314417) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Annotations on the consistency of the closed world assumption (Q4713089) (← links)