Donato Meoli (dmeoli)

dmeoli

Geek Repo

Company:University of Pisa

Location:Pisa, Italy

Home Page:www.linkedin.com/in/donato-meoli

Github PK Tool:Github PK Tool

Donato Meoli's repositories

WS4J

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

Language:JavaLicense:GPL-3.0Stargazers:20Issues:4Issues:3

BeerEX

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

Language:CLIPSLicense:MITStargazers:14Issues:2Issues:0

OnlineRetail

Data Mining project 2020/2021 @ University of Pisa

Language:Jupyter NotebookStargazers:12Issues:3Issues:1

NeuroSAT

Neuro-symbolic approaches to the SAT problem

Language:Jupyter NotebookLicense:MITStargazers:7Issues:1Issues:0

optiml

Optimizers for/and sklearn compatible Machine Learning models

Language:PythonLicense:MITStargazers:7Issues:1Issues:1

PESAD

Prolog Expert System on Anxiety Disorders

Language:PrologLicense:MITStargazers:5Issues:1Issues:0

WNAffect

WordNet Affect allows to find the emotion of a given word

Language:JavaLicense:GPL-3.0Stargazers:3Issues:1Issues:0

SocialMediaDiscovery

Social Media Analysis for the Discovery of Interaction Patterns

Language:JavaLicense:MITStargazers:2Issues:1Issues:0

AlphaZeroSAT

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

Language:PythonLicense:MITStargazers:1Issues:1Issues:0

aima-data

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

License:NOASSERTIONStargazers:0Issues:1Issues:0

aima-python

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

Language:Jupyter NotebookLicense:MITStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

ComputationalNeuroscience

Code for Computational Neuroscience course 2020/2021 @ UniPi

Language:MATLABStargazers:0Issues:1Issues:0

CranSearchEngine

Search Engine for the Cranfield Collection

Language:JavaLicense:MITStargazers:0Issues:1Issues:0

CV

My personal Curriculum Vitae

Language:TeXStargazers:0Issues:1Issues:0

GQSAT

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

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

MCTSminisat

minisat adapted for MCTS

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

minisat

minisat adapted for DQN with GNN

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

SicilianNMT

NMT for the Sicilian language

Language:PerlLicense:Apache-2.0Stargazers:0Issues:1Issues:0