Applied Computational Logic and Artificial Intelligence Laboratory
Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara
Pinned Loading
Repositories
Showing 10 of 28 repositories
- SoleReasoners.jl Public
This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.
aclai-lab/SoleReasoners.jl’s past year of commit activity - Audio911.jl Public
aclai-lab/Audio911.jl’s past year of commit activity - ModalDecisionTrees.jl Public
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
aclai-lab/ModalDecisionTrees.jl’s past year of commit activity