dmeoli

WS4J

WordNet Similarity for Java provides an API for several Semantic Relatedness/Similarity algorithms

BeerEX

Beer EXpert System is a rule-based expert system which suggests a beer to drink according to taste and meal

OnlineRetail

Data Mining project 2020/2021 @ University of Pisa

NeuroSAT

Neuro-symbolic approaches to the SAT problem

optiml

Optimizers for/and sklearn compatible Machine Learning models

PESAD

Prolog Expert System on Anxiety Disorders

WNAffect

WordNet Affect allows to find the emotion of a given word

SocialMediaDiscovery

Social Media Analysis for the Discovery of Interaction Patterns

AlphaZeroSAT

TensorFlow implementation of "From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero"

aima-data

Data files to accompany the algorithms from Norvig And Russell's "Artificial Intelligence - A Modern Approach"

aima-python

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

AlphaGoZeroSAT

ComputationalNeuroscience

Code for Computational Neuroscience course 2020/2021 @ UniPi

CranSearchEngine

Search Engine for the Cranfield Collection

CV

My personal Curriculum Vitae

GQSAT

PyTorch implementation of "Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?"

MCTSminisat

minisat adapted for MCTS

minisat

minisat adapted for DQN with GNN

SicilianNMT

NMT for the Sicilian language