Pages that link to "Item:Q5504689"
From MaRDI portal
The following pages link to Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689):
Displaying 6 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Stable models and circumscription (Q543596) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Intelligent Instantiation and Supersafe Rules (Q5240211) (← links)