Pages that link to "Item:Q1779312"
From MaRDI portal
The following pages link to Safe beliefs for propositional theories (Q1779312):
Displaying 6 items.
- Equilibrium logic (Q854969) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← 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)
- Absolute Provability and Safe Knowledge of Axioms (Q5221597) (← links)
- Strong Negation and Equivalence in the Safe Belief Semantics (Q5431610) (← links)