2,539 followers
Open Access UCL Research: A Model-based Theorem Prover for Epistemic Graphs for Argumentation https://t.co/mp0gWTCrPw
Open Access UCL Research: A Model-based Theorem Prover for Epistemic Graphs for Argumentation https://t.co/mp0gWTCrPw