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 15 items.
- Logic programming as classical inference (Q898781) (← links)
- 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)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- SAT Modulo Graphs: Acyclicity (Q2938490) (← links)
- Advances in WASP (Q3449189) (← links)
- Multi-level Algorithm Selection for ASP (Q3449227) (← 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)