Tatiana Boura's repositories
SAT-Solver-using-NNs
This project aims to predict the satisfiability of a SAT3 problem instance using GNNs or LSTMs. Since the SAT3 problem is similar to the 3-coloring, it attempts to solve that as well.
K23-Assignment-I
Project K23A First Assignment
Prolog-mini-problems
A Prolog Project during KRR course in my master's degree
aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
BSc-Thesis-Dempster-Shafer-Theory-Application-in-Recommender-Systems
DST approach on Recommended Systems(RS).
Equilibria-computation-in-zero-sum-games
Equilibria computation in zero-sum games.
Heart-Murmur-Detection-using-Machine-Learning
Detecting Heart-Murmur through heart auscultation signals using Machine Learning.
Similar-video-clip-retrieval
Given a video-clip we retrieve k-most similar to it from a "database". We extract features from 3 modalities (audio-video-text) and create an embedding using an AutoEncoder.
MSc-in-AI-Demokritos-Reinforcement-Learning-Course
Implementation of an Q-learning, ϵ-greedy agent that learns how to play the game with the other agents he is connected to.