Pages that link to "Item:Q1824413"
From MaRDI portal
The following pages link to A sound and complete semantics for a version of negation as failure (Q1824413):
Displayed 10 items.
- Programming in three-valued logic (Q753474) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← 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)
- The role of standardising apart in logic programming (Q1329744) (← links)
- What is failure? An approach to constructive negation (Q1346220) (← links)
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs (Q1350529) (← links)
- A LOGICAL ANALYSIS OF RULE INCONSISTENCY (Q3225381) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)