GitHub repository: nico-espinosadice/abductive-theory
Primary language: Jupyter Notebook
Created: 2020-06-16T21:28:57Z
Description: A Mathematical Theory of Abductive Logical Reasoning.