Publication | Closed Access

Practical reasoning as presumptive argumentation using action based alternating transition systems

Transition SystemsEngineeringArgumentation FrameworkReasoning SystemAutomated ReasoningPractical ReasoningComputer-assisted ReasoningVerificationReasoning About ActionFormal MethodsComputer ScienceFormal VerificationPresumptive ArgumentationArgument MiningArgumentation