The following pages link to Negation as failure in the head (Q4208854):
Displaying 21 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Equivalence issues in abduction and induction (Q833733) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
- Computational complexity of flat and generic assumption-based argumentation, with and without probabilities (Q2238615) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Consistency defaults (Q2454638) (← links)
- Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs (Q2884255) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- Negation as failure. II (Q3740275) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- Default Negation as Explicit Negation plus Update (Q5059691) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- Explaining Preferences and Preferring Explanations (Q5172617) (← links)
- Embedding justification theory in approximation fixpoint theory (Q6566637) (← links)
