Pages that link to "Item:Q3643106"
From MaRDI portal
The following pages link to A Revised Concept of Safety for General Answer Set Programs (Q3643106):
Displaying 6 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Safety, domain independence and generalized quantification (Q2734659) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- Intelligent Instantiation and Supersafe Rules (Q5240211) (← links)