The following pages link to (Q5688901):
Displaying 5 items.
- Off-line parsability and the well-foundedness of subsumption (Q1285865) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- (Q4207887) (← links)
- Abduction over 3-valued extended logic programs (Q5101439) (← links)