RAIRLab/ShadowAdjudicator
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
PythonAGPL-3.0
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
PythonAGPL-3.0