The following pages link to Negation as failure as resolution (Q1277302):
Displaying 9 items.
- The Prolog not-predicate and negation as failure rule (Q918193) (← links)
- Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions (Q1101250) (← links)
- Negation as instantiation (Q1898466) (← links)
- Negation as failure for disjunctive logic programming (Q1924818) (← links)
- Negation as failure. II (Q3740275) (← links)
- Short note: procedural semantics and negative information of elementary formal system (Q3992228) (← links)
- A linear axiomatization of negation as failure (Q3992234) (← links)
- Negation as failure in the head (Q4208854) (← links)
- Regular search spaces and constructive negation (Q4344699) (← links)