dmeoli Goto Github PK

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

alphazerosat

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

beerex

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

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

neurosat

Neuro-symbolic approaches to the SAT problem

onlineretail

Data Mining project 2020/2021 @ University of Pisa

optiml

Optimizers for/and sklearn compatible Machine Learning models

pesad

Prolog Expert System on Anxiety Disorders

siciliannmt

NMT for the Sicilian language

socialmediadiscovery

Social Media Analysis for the Discovery of Interaction Patterns

wnaffect

WordNet Affect allows to find the emotion of a given word

ws4j

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