"Where formal logic meets artificial intelligence to create transparent, mathematically sound, and certifiably reliable AI systems."
We are pioneering the future of explainable artificial intelligence through the elegant fusion of mathematical logic and modern AI techniques. Based at the prestigious University of Ferrara, our research group is dedicated to developing AI systems that are not just powerful, but also transparent, interpretable, and formally verifiable.
In an era where AI decisions impact critical aspects of human life, we believe that understanding why an AI system makes a decision is as important as the decision itself.
Sole.jl is our flagship open-source framework, written in the high-performance Julia language. It represents years of research distilled into a comprehensive toolkit for symbolic learning and explainable AI.
| 🧠 Intelligence & Logic | ⚡ Performance & Flexibility |
|---|---|
|
Advanced Symbolic Learning Logic-based knowledge extraction Temporal and structured data mastery Built-in explainability features Interpretable model architectures Formal verification capabilities |
High-Performance Computing Julia's lightning-fast execution Efficient memory management Scalable to enterprise workloads Modular ecosystem design Domain-agnostic architecture |
|
🏥 Healthcare Medical diagnosis support with explainable predictions |
🏭 Industry 4.0 Predictive maintenance with transparent reasoning |
🧠 Physiological Data Interpretation Real-time biosignal analysis with clinical-grade precision |
🔬 Research Scientific discovery through pattern recognition |
Our framework is built as a carefully orchestrated ecosystem of specialized modules, each designed to excel in its domain while contributing to the greater whole.
graph TD
SX[<font color="black">🎨 SoleExplorer.jl</font>]
subgraph "🤖 Learning Engines"
MAR[<font color="black">📊 ModalAssociationRules.jl</font>]
MDT[<font color="black">🌳 ModalDecisionTrees.jl</font>]
MDL[<font color="black">📋 ModalDecisionLists.jl</font>]
end
S[<font color="black">⭐ Sole.jl<br/><i>Core Framework</i></font>]
subgraph "📊 Data Intelligence"
SF[🔧 SoleFeatures.jl]
SD[💾 SoleData.jl]
MD[🔗 MultiData.jl]
end
subgraph "🧠 AI Models"
PHC[🔍 SolePostHoc.jl]
SM[🎯 SoleModels.jl]
end
subgraph "🔬 Logic Foundation"
SL[<font color="black">⚗️ SoleLogics.jl</font>]
SR[🧮 SoleReasoners.jl]
end
SB[<font color="black">🏛️ SoleBase.jl<br/><i>Foundation</i></font>]
SX --> MDL
SX --> MDT
SX --> MAR
SX --> S
SX --> PHC
SL --> SB
SD --> SL
SD --> MD
SM --> SL
S --> SD
PHC --> SM
S --> SM
SF --> SD
MDL --> S
MDT --> S
MAR --> S
SR --> SL
style SX fill:#e1f5fe,stroke:#0277bd,stroke-width:2px
style SB fill:#f3e5f5,stroke:#7b1fa2,stroke-width:2px
style SL fill:#e8f5e8,stroke:#388e3c,stroke-width:2px
style S fill:#fff8e1,stroke:#f57c00,stroke-width:3px
style MDL fill:#ffebee,stroke:#d32f2f,stroke-width:2px
style MDT fill:#ffebee,stroke:#d32f2f,stroke-width:2px
style MAR fill:#ffebee,stroke:#d32f2f,stroke-width:2px
| 🏛️ Foundation Layer | |
|---|---|
|
SoleBase.jl The bedrock of our ecosystem |
SoleLogics.jl Advanced modal and temporal logic systems |
|
SoleReasoners.jl Automated reasoning engines |
|
| 🤖 Learning Engines | ||
|---|---|---|
|
ModalAssociationRules.jl Pattern discovery in complex data |
ModalDecisionTrees.jl Interpretable tree-based learning |
ModalDecisionLists.jl Sequential rule-based classification |
| 📊 Data Intelligence | ||
|---|---|---|
|
SoleData.jl Intelligent data structures and processing |
MultiData.jl Multi-modal data integration |
SoleFeatures.jl Advanced feature engineering |
| 🎨 User Experience | ||
|---|---|---|
|
SoleModels.jl Model management and deployment |
SolePostHoc.jl Post-hoc explainability tools |
SoleExplorer.jl Interactive model exploration |
| 🔊 Specialized Applications |
|---|
|
Audio911.jl Emergency audio analysis and classification |
Our work bridges the gap between theoretical advances and practical applications, resulting in publications that shape the future of AI research.
| Research Domain | Publications & Datasets |
|---|---|
| 🧠 Logic & Temporal Data | LATD2025b • LATD2025a |
| 🏥 Biomedical Computing | BMC2025 |
| 📊 Data Science & AI | ITADATA2024 |
| 🔍 Explainable AI | OVERLAY2022 |
Each repository contains comprehensive datasets, reproducible experiments, and detailed methodologies that contribute to the global AI research community.
| 🔬 Research | 💻 Development | 🏭 Industry | 🎓 Academia |
|---|---|---|---|
|
Research Collaboration Joint publications and grant applications |
Open Source Contribution Code contributions and feature development |
Industrial Partnership Real-world applications and consulting |
Academic Exchange Student projects and visiting researcher programs |
Get in touch and let's build the future of AI together!
"In logic we trust, in mathematics we verify, in transparency we believe."
ACLAI Laboratory — University of Ferrara
