ULKB Logic: A HOL-based Framework for Reasoning over Knowledge Graphs
- 2025
- Science of Computer Programming
Publications
Date
Featured collections
Popular topics
7747 results for AI
Real-Time Outlier Connections Detection in Databases Network Traffic
- Leonid Rodniansky
- Tania Butovsky
- et al.
- 2025
- arXiv
The WHY in Business Processes: Discovery of Causal Execution Dependencies
- 2025
- Künstl Intell
Efficient Scaling of Large Language Models with Mixture of Experts and 3D Analog In-Memory Computing
- 2025
- Nat. Comput. Sci.
Enhancing foundation models for scientific discovery via multimodal knowledge graph representations
- 2025
- Journal of Web Semantics
Sequential uncertainty quantification with contextual tensors for social targeting
- 2024
- KAIS
Foundation models for the electric power grid
- Hendrik F. Hamann
- Blazhe Gjorgiev
- et al.
- 2024
- Joule
Beyond neuropsychological tests: AI speech analysis in PKU
- Susan Waisbren
- Kely Norel
- et al.
- 2024
- J. Inherit. Metab. Dis.
Vector Quantization with Sorting Transformation
- Hongzhi Wang
- Tanveer Syeda-Mahmood
- 2024
- Big Data 2024
Future Workload and Cloud Resource Usage: Insights from an Interpretable Forecasting Model
- 2024
- Big Data 2024