Skip to content
@aclai-lab

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

  1. Sole.jl Sole.jl Public

    Sole.jl – Long live transparent modeling!

    Julia 38 1

  2. piton piton Public

    Laravel package for rule extraction from MySQL databases

    PHP 5

  3. MetAI MetAI Public

    Classification of medical documents and knowledge extraction from them for meta-researches

    JavaScript

  4. SoleLogics.jl SoleLogics.jl Public

    Computational logic in Julia!

    Julia 15 8

  5. SoleData.jl SoleData.jl Public

    Manage logical datasets!

    Julia 12 2

  6. SoleModels.jl SoleModels.jl Public

    Symbolic modeling in Julia!

    Julia 11 1

Repositories

Showing 10 of 31 repositories
  • LATD2025b Public

    Automated theorem proving for modal FLew-algebra formulae through translation to two-sorted first-order.

    aclai-lab/LATD2025b’s past year of commit activity
    Julia 0 0 0 0 Updated Jan 13, 2025
  • SolePostHoc.jl Public

    Sole (SymbOlic LEarning) Post Hoc Analysis Module

    aclai-lab/SolePostHoc.jl’s past year of commit activity
    Julia 6 MIT 0 0 0 Updated Jan 13, 2025
  • ModalAssociationRules.jl Public

    Modal association rules mining in Julia!

    aclai-lab/ModalAssociationRules.jl’s past year of commit activity
    Julia 6 MIT 0 1 36 Updated Jan 12, 2025
  • 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
    Julia 11 1 1 6 Updated Jan 12, 2025
  • SoleData.jl Public

    Manage logical datasets!

    aclai-lab/SoleData.jl’s past year of commit activity
    Julia 12 MIT 2 2 1 Updated Jan 10, 2025
  • SoleModels.jl Public

    Symbolic modeling in Julia!

    aclai-lab/SoleModels.jl’s past year of commit activity
    Julia 11 MIT 1 1 4 Updated Jan 10, 2025
  • SoleBase.jl Public

    Sole.jl base layer

    aclai-lab/SoleBase.jl’s past year of commit activity
    Julia 0 MIT 0 1 0 Updated Jan 9, 2025
  • SoleLogics.jl Public

    Computational logic in Julia!

    aclai-lab/SoleLogics.jl’s past year of commit activity
    Julia 15 MIT 8 2 0 Updated Jan 9, 2025
  • MultiData.jl Public

    Multimodal datasets for Machine-Learning

    aclai-lab/MultiData.jl’s past year of commit activity
    Julia 3 MIT 0 1 2 Updated Jan 9, 2025
  • Sole.jl Public

    Sole.jl – Long live transparent modeling!

    aclai-lab/Sole.jl’s past year of commit activity
    Julia 38 MIT 1 1 7 Updated Jan 9, 2025
View all repositories

Most used topics

Loading…