:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Shah, Swapn, Zadrozny, Wlodek
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2601.17188
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Causality extraction from medical text using Large Language Models (LLMs)
by: Gopalakrishnan, Seethalakshmi, et al.
Published: (2024)

LTNtorch: PyTorch Implementation of Logic Tensor Networks
by: Carraro, Tommaso, et al.
Published: (2024)

Tirar vantagem dos activos intangíveis
by: Wlodek Zadrozny
Published: (2006)

Goal-Driven Reasoning in DatalogMTL with Magic Sets
by: Wang, Shaoyu, et al.
Published: (2024)

Tensorized Hypergraph Neural Networks
by: Wang, Maolin, et al.
Published: (2023)

Native Fortran Implementation of TensorFlow-Trained Deep and Bayesian Neural Networks
by: Furlong, Aidan, et al.
Published: (2025)

TensorTEE: Unifying Heterogeneous TEE Granularity for Efficient Secure Collaborative Tensor Computing
by: Han, Husheng, et al.
Published: (2024)

Unifying O(3) Equivariant Neural Networks Design with Tensor-Network Formalism
by: Li, Zimu, et al.
Published: (2022)

Let SSMs be ConvNets: State-space Modeling with Optimal Tensor Contractions
by: Pei, Yan Ru
Published: (2025)

Towards Unifying Perceptual Reasoning and Logical Reasoning
by: Kido, Hiroyuki
Published: (2022)

Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)

Parallel Lifted Planning via Semi-Naive Datalog Evaluation
by: Drexler, Dominik, et al.
Published: (2026)

Incremental Maintenance of DatalogMTL Materialisations
by: Zhao, Kaiyue, et al.
Published: (2025)

Neuro-Symbolic Learning for Predictive Process Monitoring via Two-Stage Logic Tensor Networks with Rule Pruning
by: De Santis, Fabrizio, et al.
Published: (2026)

Defeasible Reasoning via Datalog$^\neg$
by: Maher, Michael J.
Published: (2021)

Tensor-view Topological Graph Neural Network
by: Wen, Tao, et al.
Published: (2024)

Grounding Rule-Based Argumentation Using Datalog
by: Diller, Martin, et al.
Published: (2025)

RankGuide: Tensor-Rank-Guided Routing and Steering for Efficient Reasoning
by: Tian, Jiayi, et al.
Published: (2026)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Low-Rank Tensor Decompositions for the Theory of Neural Networks
by: Borsoi, Ricardo, et al.
Published: (2025)

Tensor Logic: The Language of AI
by: Domingos, Pedro
Published: (2025)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
by: Haufe, Cedric, et al.
Published: (2026)

ACT-Tensor: Tensor Completion Framework for Financial Dataset Imputation
by: Mo, Junyi, et al.
Published: (2025)

Interaction Tensor SHAP
by: Hasegawa, Hiroki, et al.
Published: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

TensorBank: Tensor Lakehouse for Foundation Model Training
by: Kienzler, Romeo, et al.
Published: (2023)

GeoPE:A Unified Geometric Positional Embedding for Structured Tensors
by: Yao, Yupu, et al.
Published: (2025)

Automated Tensor-Relational Decomposition for Large-Scale Sparse Tensor Computation
by: Tang, Yuxin, et al.
Published: (2026)

Algorithmic algorithm development with LLMs: A Case Study on LLM-Usage for Contraction Order Optimization in Tensor Networks
by: Hoppe, Fabian, et al.
Published: (2026)

Capability Safety as Datalog: A Foundational Equivalence
by: Spera, Cosimo
Published: (2026)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)

TreeTensor: Boost AI System on Nested Data with Constrained Tree-Like Tensor
by: Zhang, Shaoang, et al.
Published: (2026)

MiniTensor: A Lightweight, High-Performance Tensor Operations Library
by: Sarkar, Soumyadip
Published: (2026)

Comprehensive Design Space Exploration for Tensorized Neural Network Hardware Accelerators
by: Zhang, Jinsong, et al.
Published: (2025)

Logical foundations of Smart Contracts
by: Kalala, Kalonji
Published: (2025)

Tensor Polynomial Additive Model
by: Chen, Yang, et al.
Published: (2024)

Tensor-Compressed and Fully-Quantized Training of Neural PDE Solvers
by: Lu, Jinming, et al.
Published: (2025)

Semi-Tensor-Product Based Convolutional Neural Networks
by: Cheng, Daizhan, et al.
Published: (2025)

Compressing Neural Networks Using Tensor Networks with Exponentially Fewer Variational Parameters
by: Qing, Yong, et al.
Published: (2023)