There are no reviews yet. Be the first to send feedback to the community and the maintainers!
mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.question-tagging
Predicting Stack Overflow's question tags with deep neural networks based on TensorFlow.n-queens-sat
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.haskell-tdd
Project shows my default workflow for test driven development in the functional programming language Haskell.kripke
Implementation of Kripke's semantics in the strongly typed programming language Java.semantic-web
This repository contains the sources of my exam project for my subject semantic web at the HTWK Leipzig University of Applied Sciences.Love Open Source and this site? Check out how you can help us