AI Tools for Logic-modeling