Why are there so many loop formulas?
From MaRDI portal
Publication:5277748
DOI10.1145/1131313.1131316zbMath1367.68036OpenAlexW2079430756MaRDI QIDQ5277748
Vladimir Lifschitz, Alexander A. Razborov
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1131313.1131316
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic programming (68N17)
Related Items (21)
Backdoors to Normality for Disjunctive Logic Programs ⋮ On elementary loops of logic programs ⋮ Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? ⋮ Integrating Inductive Definitions in SAT ⋮ Knowledge compilation of logic programs using approximation fixpoint theory ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ What is answer set programming to propositional satisfiability ⋮ IASCAR: incremental answer set counting by anytime refinement ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ Weight constraint programs with evaluable functions ⋮ Loop formulas for circumscription ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Finding Reductions Automatically ⋮ Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks ⋮ An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems ⋮ Answer Set Programming: A Primer ⋮ Some (in)translatability results for normal logic programs and propositional theories ⋮ Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs ⋮ Quo Vadis Answer Set Programming? ⋮ On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
This page was built for publication: Why are there so many loop formulas?
