B.Sc. defense: Refactoring of Theory Graphs in Knowledge Representation SystemsNavid RouxLast updated on Nov 21, 2020 Slides 📙 Full ThesisSee my full post on the B. Sc. thesis for more details.university research formal-systems mmtNavid RouxComputer Science M. Sc. StudentAcademically interested in formal systems for knowledge representation; recreationally in love with sports.Please enable JavaScript to view the comments powered by Disqus.comments powered by DisqusRelatedDiagram OperatorsFrameITPresentation of "Diagram Operators in a Logical Framework" at LFMTP 2020Diagram Operators in a Logical FrameworkPresentation of "Functorial Diagram Operators" at WADT 2020