Pinned Repositories
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.
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
av3
Advanced Vision Assignment 3
BorisMitrovic's Repositories
BorisMitrovic/reformation
Automatic theory repair using reformation algorithm
BorisMitrovic/sorted-reformation
Automatic ontology repair for sorted logic using Reformation algorithm, originally written for FOL logic by Alan Bundy
BorisMitrovic/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.