The following pages link to Negation as failure. II (Q3740275):
Displayed 14 items.
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Strict completion of logic programs (Q751309) (← links)
- Negation by default and unstratifiable logic programs (Q753501) (← links)
- Minimalism, justification and non-monotonicity in deductive databases (Q1123011) (← links)
- Complete extension of general logic programs (Q1190477) (← links)
- Mints type deductive calculi for logic programming (Q1192340) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs (Q1350529) (← links)
- Formalizing a logic for logic programming (Q1354044) (← links)
- A sound and complete semantics for a version of negation as failure (Q1824413) (← links)
- A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic (Q1914422) (← links)
- Complexity and undecidability results for logic programming (Q1924779) (← links)
- Sémantique logique et dénotationnelle des interpréteurs PROLOG (Q3798220) (← links)
- Intuitionistic three-valued logic and logic programming (Q3991300) (← links)