Boris Mitrovic (@BorisMitrovic)
github

BorisMitrovic

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,603,837 (Top 56 %)
  • Followers 2
  • Registered over 12 years ago
  • Most used languages
    Prolog
         100.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 44,104
  • Country Ranking
    Prolog
         38

Top repositories

1

reformation

Automatic theory repair using reformation algorithm
Prolog
3
star
2

sorted-reformation

Automatic ontology repair for sorted logic using Reformation algorithm, originally written for FOL logic by Alan Bundy
Prolog
1
star