Now showing items 1-1 of 1

    • pyVivid ; a concrete framework for mechanized diagrammatic reasoning 

      Marton, Nicholas (Rensselaer Polytechnic Institute, Troy, NY, 2016-05)
      In 2007, the abstract semantic framework of Vivid was introduced by [Arkoudas and Bringsjord, 2009] for the purpose of mechanized heterogeneous natural deduction that combines symbolic and diagrammatic reasoning. We introduce ...