Pages that link to "Item:Q1978013"

The following pages link to Nested expressions in logic programs (Q1978013):

Displaying 33 items.

• Probabilistic reasoning with answer sets (Q3612603) (← links)
• On Negative Unfolding in the Answer Set Semantics (Q3617437) (← links)
• When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
• Abstract gringo (Q4592989) (← links)
• Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
• On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
• Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (Q4649728) (← links)
• Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
• Weight constraints as nested expressions (Q4673539) (← links)
• (Q4874575) (← links)
• A logical approach to A-Prolog (Q4916215) (← links)
• selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
• Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
• (Q5020544) (← links)
• On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
• Revisiting Explicit Negation in Answer Set Programming (Q5108509) (← links)
• ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
• Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)
• Explaining Preferences and Preferring Explanations (Q5172617) (← links)
• Intelligent Instantiation and Supersafe Rules (Q5240211) (← links)
• Finding similar/diverse solutions in answer set programming (Q5298797) (← links)
• Expressiveness of communication in answer set programming (Q5298798) (← links)
• Logic Programming (Q5313185) (← links)
• Logic Programming (Q5313186) (← links)
• Logic Programming and Nonmonotonic Reasoning (Q5424892) (← links)
• Twelve Definitions of a Stable Model (Q5504644) (← links)
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
• Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
• Normal Form Nested Programs (Q5900402) (← links)
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
• A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
• An abstract view on optimizations in propositional frameworks (Q6496423) (← links)
• Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)