Pages that link to "Item:Q1779312"
From MaRDI portal
The following pages link to Safe beliefs for propositional theories (Q1779312):
Displaying 3 items.
- Equilibrium logic (Q854969) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)