The following pages link to (Q4236380):
Displaying 5 items.
- Completing causal networks by meta-level abduction (Q374193) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
