Publication | Closed Access

Reasoning with cases and hypotheticals in HYPO

ReasoningAbductive ReasoningAutomated ReasoningLogical ReasoningPlausible Reasoning