Publication | Closed Access

Practical reasoning with norms for autonomous software agents

EngineeringAutomated ReasoningAutonomous Software AgentsVerificationModel-based ReasoningFormal MethodsComputer ScienceAgent Programming LanguageFormal VerificationComputer-assisted Reasoning