Pages that link to "Item:Q5424862"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424862):
Displaying 5 items.
- Possibilistic nested logic programs and strong equivalence (Q2344722) (← links)
- Strong equivalence of qualitative optimization problems (Q2838231) (← links)
- Answer Sets and Qualitative Optimization (Q3432002) (← links)
- TOAST: Applying Answer Set Programming to Superoptimisation (Q5449606) (← links)
- Logic Programming (Q5475769) (← links)