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):
Displaying 32 items.
- Logic programming as classical inference (Q898781) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Stable models and difference logic (Q1028651) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← 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)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
- Dual-normal logic programs – the forgotten class (Q4592993) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
- Random logic programs: Linear model (Q4593016) (← links)
- Relative expressiveness of defeasible logics (Q4911149) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- A Model for Phase Transition of Random Answer-Set Programs (Q5277923) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Exploiting Database Management Systems and Treewidth for Counting (Q6063876) (← links)
- An abstract view on optimizations in propositional frameworks (Q6496423) (← links)
