If you want to see my CV click here or you can see some code I have written for fun or as projects for university exams.
ruggiero-santo / natms Goto Github PK
View Code? Open in Web Editor NEWAn negation assumption based truth maintenance system (NATMS)
Home Page: https://elearning.di.unipi.it/enrol/index.php?id=165