Skip to content

@alberto-paparella alberto-paparella Follow

More

@alberto-paparella

alberto-paparella

Follow

View alberto-paparella's full-sized avatar

👨‍💻

Manipulating symbols

Alberto Paparella alberto-paparella

👨‍💻

Manipulating symbols

Follow

PhD student @aclai-lab

38 followers · 61 following

Achievements

Achievement: Pull Sharkx2 Achievement: YOLO Achievement: Starstruck Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2 Achievement: YOLO Achievement: Starstruck Achievement: Quickdraw

Organizations

More

alberto-paparella /README.md

Hi there 👋 My name is Alberto Paparella

A PhD student at ACLAI Lab based in Ferrara, Italy 🇮🇹 interested in Many-Valued Logic and Symbolic Learning

👨‍💻 About Me :

📚 I'm currently attending a PhD in Mathematics at University of Ferrara
🇦🇺 I was a visiting PhD student at University of Queensland
🎓 I got a Master Degree in Computer Science at University of Bologna
🎓 I got a Bachelor Degree in Computer Science at University of Ferrara

🛠️ My favourite Languages and Tools :

julia c c++ python neovim vscode git github

🔥 My Stats :

Pinned Loading

aclai-lab/Sole.jl aclai-lab/Sole.jl Public

Sole.jl – Long live transparent modeling!

Julia 49 1
aclai-lab/SoleLogics.jl aclai-lab/SoleLogics.jl Public

Computational logic in Julia!

Julia 19 7
aclai-lab/SoleReasoners.jl aclai-lab/SoleReasoners.jl Public

This package provides algorithms for reasoning up to many-valued multi-modal logic, namely including a SAT solver and an automated theorem prover, both based on analytic tableau technique.

Julia 4
aclai-lab/ManyExpertDecisionTrees.jl aclai-lab/ManyExpertDecisionTrees.jl Public

An implementation of Many Expert Decision Trees.

Julia 1
aclai-lab/logic-and-machine-learning aclai-lab/logic-and-machine-learning Public archive

Logic and Symbolic Learning @ University of Witwatersrand (Jan 2026)

HTML 3 2
aclai-lab/piton aclai-lab/piton Public archive

Laravel package for rule extraction from MySQL databases

PHP 5