all tags

henry-kautz

3 notes carry this tag — 2 claims, 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.

• Kautz & Allen's 1986 foundational plan-recognition paper calls itself deductive, not abductive — and its author later ran NSF's national AI institutes program
  capture promoted Tier 1 2026-09-29 · abductive-reasoning, plan-recognition, circumscription, ach-cd, jingle-fallacy-adjacent
• Henry Kautz, co-author of the 1986 foundational plan-recognition paper, later directed NSF's division funding national AI research institutes
  claim seedling Tier 2 2026-09-29 · ai-history, henry-kautz, nsf, ai-policy, plan-recognition
• Kautz & Allen's 1986 foundational plan-recognition paper frames itself as deductive inference, never abductive
  claim seedling Tier 1 2026-09-29 · abductive-reasoning, plan-recognition, circumscription, ach-cd, ai-history