Applied Computational Logic and Artificial Intelligence Laboratory

All

25 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.
Julia
•
MIT License
•0•1•1•0•Updated Mar 27, 2025Mar 27, 2025
SoleFeatures.jl
Public
Perform feature selection on unstructured and multimodal data!
Julia
•
MIT License
•0•6•0•0•Updated Mar 26, 2025Mar 26, 2025
ModalDecisionLists.jl
Public
Modal decision trees, but it's sequential covering.
Julia
•
MIT License
•0•6•1•10•Updated Mar 26, 2025Mar 26, 2025
ModalAssociationRules.jl
Public
Modal association rules mining in Julia!
Julia
•
MIT License
•0•7•3•0•Updated Mar 26, 2025Mar 26, 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•1•7•Updated Mar 26, 2025Mar 26, 2025
SoleModels.jl
Public
Symbolic modeling in Julia!
symbolic-learning machine-learning
Julia
•
MIT License
•1•11•2•5•Updated Mar 26, 2025Mar 26, 2025
SoleLogics.jl
Public
Computational logic in Julia!
logic modal-logic symbolic-learning
Julia
•
MIT License
•8•15•4•1•Updated Mar 26, 2025Mar 26, 2025
SoleData.jl
Public
Manage logical datasets!
machine-learning unstructured-data multimodal-data
Julia
•
MIT License
•2•12•3•1•Updated Mar 26, 2025Mar 26, 2025
Sole.jl
Public
Sole.jl – Long live transparent modeling!
logic artificial-intelligence symbolic-learning julia
Julia
•
MIT License
•1•39•2•8•Updated Mar 26, 2025Mar 26, 2025
SolePostHoc.jl
Public
Sole (SymbOlic LEarning) Post Hoc Analysis Module
Julia
•
MIT License
•0•8•0•1•Updated Mar 24, 2025Mar 24, 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
LATD2025b
Public
Modal FLew-algebra satisfiability through two-sorted first-order translation.
Julia
•0•0•0•0•Updated Feb 5, 2025Feb 5, 2025
SoleBase.jl
Public
Sole.jl base layer
Julia
•
MIT License
•0•0•1•0•Updated Jan 9, 2025Jan 9, 2025
MultiData.jl
Public
Multimodal datasets for Machine-Learning
machine-learning julia multimodal-learning multimodal-machine-learning dataframes-jl
Julia
•
MIT License
•0•3•1•2•Updated Jan 9, 2025Jan 9, 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
Audio911.jl
Public
Jupyter Notebook
•0•3•0•12•Updated Dec 7, 2024Dec 7, 2024
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
SoleModelChecking.jl
Public archive
Sole (SymbOlic LEarning) Model Checking Module
Julia
•
MIT License
•0•2•2•1•Updated Nov 21, 2022Nov 21, 2022
OVERLAY2022.jl
Public
Experiments for our work submitted to OVERLAY2022
machine-learning
Julia
•
MIT License
•0•2•0•7•Updated Nov 21, 2022Nov 21, 2022
SoleFunctions.jl
Public archive
Sole (SymbOlic LEarning) Functions Module
Julia
•
MIT License
•0•0•0•0•Updated Apr 12, 2022Apr 12, 2022