An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool