Applied Computational Logic and Artificial Intelligence Laboratory

All

33 repositories

SoleXplorer.jl
Public
Extract symbolic knowledge from any dataset!
Julia
•
MIT License
•0•7•1•1•Updated Aug 4, 2025Aug 4, 2025
SoleModels.jl
Public
Symbolic modeling in Julia!
symbolic-learning machine-learning
Julia
•
MIT License
•1•12•0•1•Updated Aug 4, 2025Aug 4, 2025
SoleLogics.jl
Public
Computational logic in Julia!
logic modal-logic symbolic-learning
Julia
•
MIT License
•7•17•5•2•Updated Aug 2, 2025Aug 2, 2025
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.
Julia
•
MIT License
•0•3•0•1•Updated Aug 2, 2025Aug 2, 2025
SoleData.jl
Public
Manage logical datasets!
machine-learning unstructured-data multimodal-data
Julia
•
MIT License
•2•13•6•5•Updated Aug 2, 2025Aug 2, 2025
ModalDecisionTrees.jl
Public
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
machine-learning logic decision-trees modal-logic time-series-classification symbolic-learning
Julia
•
Other
•2•11•4•11•Updated Aug 2, 2025Aug 2, 2025
ModalAssociationRules.jl
Public
Modal association rules mining in Julia!
Julia
•
MIT License
•0•8•5•1•Updated Aug 1, 2025Aug 1, 2025
ModalDecisionLists.jl
Public
Modal decision trees, but it's sequential covering.
Julia
•
MIT License
•0•8•1•11•Updated Aug 1, 2025Aug 1, 2025
SolePostHoc.jl
Public
Sole (SymbOlic LEarning) Post Hoc Analysis Module
Julia
•
MIT License
•0•10•1•1•Updated Jul 27, 2025Jul 27, 2025
Audio911.jl
Public
Jupyter Notebook
•0•3•0•5•Updated Jul 25, 2025Jul 25, 2025
SoleBase.jl
Public
Sole.jl base layer
Julia
•
MIT License
•0•1•0•1•Updated Jul 25, 2025Jul 25, 2025
Sole.jl
Public
Sole.jl – Long live transparent modeling!
logic artificial-intelligence symbolic-learning julia
Julia
•
MIT License
•1•41•2•8•Updated Jul 23, 2025Jul 23, 2025
TIME2025-LLM
Public
Python
•0•0•0•0•Updated Jul 21, 2025Jul 21, 2025
LATD2025b
Public
Modal FLew-algebra satisfiability through two-sorted first-order translation.
Julia
•0•0•0•0•Updated Jul 10, 2025Jul 10, 2025
.github
Public
0•0•1•0•Updated Jun 27, 2025Jun 27, 2025
ESSLLI2025
Public
Vector space embeddings of modal logic formulas
Jupyter Notebook
•0•0•0•0•Updated Jun 20, 2025Jun 20, 2025
python-llm-agent
Public
Un semplice progettino giocattolo per divertirsi con gli LLM
Python
•0•1•0•0•Updated Jun 10, 2025Jun 10, 2025
weka-learning-agent
Public
A simple program to teach basic maching learning principles
Java
•0•1•0•0•Updated Jun 9, 2025Jun 9, 2025
SoleFeatures.jl
Public
Perform feature selection on unstructured and multimodal data!
Julia
•
MIT License
•0•7•0•0•Updated Apr 27, 2025Apr 27, 2025
MultiData.jl
Public
Multimodal datasets for Machine-Learning
machine-learning julia multimodal-learning multimodal-machine-learning dataframes-jl
Julia
•
MIT License
•0•5•1•2•Updated Apr 27, 2025Apr 27, 2025
FLewChainsGeneration
Public
Generate all finite FLew-chains with a specified number of elements n
Julia
•0•0•0•0•Updated Apr 14, 2025Apr 14, 2025
TBME2025
Public
Transactions on Biomedical Engineering - Eye Tracking - NEVArt
Jupyter Notebook
•1•0•0•0•Updated Feb 19, 2025Feb 19, 2025
SoleDecisionTreeInterface.jl
Public archive
Sole interface for trees trained via JuliaAI/DecisionTree.jl.
Julia
•
MIT License
•1•7•1•0•Updated Feb 18, 2025Feb 18, 2025
LATD2025a
Public
Generate all finite FLew-chains with a specified number of elements n.
Julia
•0•1•0•0•Updated Jan 9, 2025Jan 9, 2025
BMC2025
Public
Data Analysis for risk prediction model in Cancer Patients
R
•0•1•0•0•Updated Nov 28, 2024Nov 28, 2024
ITADATA2024
Public
Code example usage for "Symbolic Audio Classification via Modal Decision Tree Learning", ITADATA2024
Jupyter Notebook
•0•4•0•0•Updated Oct 5, 2024Oct 5, 2024
modal-symbolic-learning-course
Public
Modal Symbolic Learning Course @ University of Sydney (Dec 2023)
Jupyter Notebook
•1•4•0•0•Updated Apr 4, 2024Apr 4, 2024
piton
Public archive
Laravel package for rule extraction from MySQL databases
php artificial-intelligence laravel-package rule-extraction laravel-6-package laravel
PHP
•0•5•0•0•Updated Nov 25, 2022Nov 25, 2022
SoleAlphabets.jl
Public archive
Sole (SymbOlic LEarning) Alphabets Module
Julia
•
MIT License
•0•1•0•1•Updated Nov 21, 2022Nov 21, 2022
SoleWorlds.jl
Public archive
Sole (SymbOlic LEarning) Worlds Module
Julia
•
MIT License
•0•1•0•0•Updated Nov 21, 2022Nov 21, 2022