all tags

negation-as-failure

2 notes carry this tag — 1 claim, 1 capture. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• 'Negation as failure' is Sakama's gloss, not Stenning & van Lambalgen's own term in their 2001 and 2004 papers
  claim seedling Tier 1 2026-09-05 · reasoning-psychology, logic-programming, non-monotonic-logic, negation-as-failure, closed-world-assumption
• Do Stenning & van Lambalgen actually model the Wason-task 'fallacies' as closed-world reasoning with negation-as-failure?
  capture promoted 2026-08-31 · reasoning-psychology, logic-programming, non-monotonic-logic, closed-world-assumption, negation-as-failure