Name: Applied Computational Logic and Artificial Intelligence Laboratory
Type: Organization
Bio: Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara
Location: Italy
Blog: aclai.unife.it
Applied Computational Logic and Artificial Intelligence Laboratory's Projects
A beautiful, simple, clean, and responsive Jekyll theme for academics
Code example usage for "Symbolic Audio Classification via Modal Decision Tree Learning", ITADATA2024
Classification of medical documents and knowledge extraction from them for meta-researches
Modal Symbolic Learning Course @ University of Sydney (Dec 2023)
Modal association rules mining in Julia!
Modal decision trees, but it's sequential covering.
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
Isolation Forest with Modal Logic!
Multimodal datasets for Machine-Learning
Experiments for our work submitted to OVERLAY2022
Laravel package for rule extraction from MySQL databases
Sole.jl – Long live transparent modeling!
Sole (SymbOlic LEarning) Alphabets Module
Sole.jl base layer
Manage unstructured and multimodal datasets!
Sole interface for trees trained via JuliaAI/DecisionTree.jl.
Perform feature selection on unstructured and multimodal data!
Sole (SymbOlic LEarning) Functions Module
Computational logic in Julia!
Sole (SymbOlic LEarning) Model Checking Module
Symbolic modeling in Julia!
Sole (SymbOlic LEarning) Post Hoc Analysis Module
This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.
Sole (SymbOlic LEarning) Traits Module
Sole (SymbOlic LEarning) Visualizations Module
Sole (SymbOlic LEarning) Worlds Module