Boris Mitrovic's repositories
reformation
Automatic theory repair using reformation algorithm
sorted-reformation
Automatic ontology repair for sorted logic using Reformation algorithm, originally written for FOL logic by Alan Bundy
convolutional-go
Implementation of a self learning Go player using Convolutional Neural networks and Monte Carlo Tree search algorithm. Other 2 player zero sum games also implemented. This code was produced and used during my PhD at University of Edinburgh.
Language:Python000