Programming

Share Community
Report Community
7
Encoding logic in AI using Theorem Proving

Encoding logic in AI using Theorem Proving

4 years ago
Anonymous $-9GJQVHNr8

https://medium.com/mindpload/encoding-logic-in-ai-using-theorem-proving-f20b3a980f67