Applied Computational Logic and Artificial Intelligence Laboratory's repositories
SoleData.jl
Manage unstructured and multimodal datasets!
SoleLogics.jl
Computational logic in Julia!
ModalDecisionTrees.jl
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
SoleModels.jl
Symbolic modeling in Julia!
SoleFeatures.jl
Perform feature selection on unstructured and multimodal data!
ModalAssociationRules.jl
Modal association rules mining in Julia!
modal-symbolic-learning-course
Modal Symbolic Learning Course @ University of Sydney (Dec 2023)
SoleReasoners.jl
This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.
MultiData.jl
Multimodal datasets for Machine-Learning
SolePostHoc.jl
Sole (SymbOlic LEarning) Post Hoc Analysis Module
ModalDecisionLists.jl
Modal decision trees, but it's sequential covering.
OVERLAY2022.jl
Experiments for our work submitted to OVERLAY2022
SoleModelChecking.jl
Sole (SymbOlic LEarning) Model Checking Module
SoleAlphabets.jl
Sole (SymbOlic LEarning) Alphabets Module
SoleViz.jl
Sole (SymbOlic LEarning) Visualizations Module
SoleWorlds.jl
Sole (SymbOlic LEarning) Worlds Module
MetAI
Classification of medical documents and knowledge extraction from them for meta-researches
SoleTraits.jl
Sole (SymbOlic LEarning) Traits Module
aclai-lab.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
SoleBase.jl
Sole.jl base layer
SoleFunctions.jl
Sole (SymbOlic LEarning) Functions Module