Pages that link to "Item:Q1314417"
From MaRDI portal
The following pages link to Adding closed world assumptions to well-founded semantics (Q1314417):
Displaying 6 items.
- Closed world assumptions having precedence in predicates (Q922726) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Annotations on the consistency of the closed world assumption (Q4713089) (← links)
- On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
- (Q5688898) (← links)
- MICAI 2004: Advances in Artificial Intelligence (Q5901927) (← links)