Pages that link to "Item:Q3647255"
From MaRDI portal
The following pages link to Some (in)translatability results for normal logic programs and propositional theories (Q3647255):
Displayed 9 items.
- On the relation among answer set solvers (Q1028643) (← links)
- Stable models and difference logic (Q1028651) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Testing and debugging techniques for answer set solver development (Q3585183) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Relative expressiveness of defeasible logics (Q4911149) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)