Pages that link to "Item:Q622117"
From MaRDI portal
The following pages link to Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117):
Displaying 21 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545) (← links)
- On the relations between stable and well-founded semantics of logic programs (Q1200977) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Propositional Compilation for All Normal Parameter Reductions of a Soft Set (Q2949608) (← links)
- Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic (Q3145144) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic (Q4809578) (← links)
- (Q4809790) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- Relating Two Dialects of Answer Set Programming (Q5108518) (← links)
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming (Q6566627) (← links)
