normative-reasoning

There are 3 repositories under normative-reasoning topic.

aureleeNet/rio
A reasoner for Input/Output logic
Language:Scala1 2 00
I-O-Logic/iol-workbench
A browser-based automated reasoner for Input/Output Logics
Language:JavaScript1 2 00
A-Practical-Agent-Programming-Language/Normative-COVID-19-Simulation
The behavioral model of a data-driven agent-based COVID-19 simulation
Language:Java0 0 00