The following pages link to (Q4537432):
Displayed 6 items.
- Combining explicit negation and negation by failure via Belnap's logic (Q673380) (← links)
- Recovery of (non)monotonic theories (Q1275600) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)