Pages that link to "Item:Q5425407"
From MaRDI portal
The following pages link to Modularity Aspects of Disjunctive Stable Models (Q5425407):
Displaying 10 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- The splitting property of stable models (Q2823805) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)
- (Q4735181) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)