Cover Image

High Quality Embeddings for Horn Logic Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Yifan, White, Yasir, Clark, Dean, Sanchez, Joseph, Lipsey, Jevon, Hirst, Ashely, Heflin, Jeff
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence I.2.6; I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Advancing Multimodal Agent Reasoning with Long-Term Neuro-Symbolic Memory
by: Jiang, Rongjie, et al.
Published: (2026)

HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
by: He, Yongquan, et al.
Published: (2024)

Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
by: Nicolau, Marcio, et al.
Published: (2020)

Evaluating and Learning Robust Bandit Policies Under Uncertain Causal Mechanisms
by: Avery, Katherine, et al.
Published: (2025)

A Domain-Independent Agent Architecture for Adaptive Operation in Evolving Open Worlds
by: Mohan, Shiwali, et al.
Published: (2023)

Sensorformer: Cross-patch attention with global-patch compression is effective for high-dimensional multivariate time series forecasting
by: Qin, Liyang, et al.
Published: (2025)

Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
by: Navakoti, Raj, et al.
Published: (2026)

E-CONDOR: Efficient Contour-Based Detection Of Random Spatial Signals From UAV Observations Using Dual Stochastic Gradient
by: Zahra, Maryam, et al.
Published: (2024)

VN Network: Embedding Newly Emerging Entities with Virtual Neighbors
by: He, Yongquan, et al.
Published: (2024)

HEHRGNN: A Unified Embedding Model for Knowledge Graphs with Hyperedges and Hyper-Relational Edges
by: Rajagopalamenon, Rajesh, et al.
Published: (2026)

OntoLogX: Ontology-Guided Knowledge Graph Extraction from Cybersecurity Logs with Large Language Models
by: Cotti, Luca, et al.
Published: (2025)

The Final-Stage Bottleneck: A Systematic Dissection of the R-Learner for Network Causal Inference
by: Sairam, S, et al.
Published: (2025)

Study Design and Demystification of Physics Informed Neural Networks for Power Flow Simulation
by: Leyli-abadi, Milad, et al.
Published: (2025)

SAGE: A Strategy-Aware Graph-Enhanced Generation Framework For Online Counseling
by: Aharon, Eliya Naomi, et al.
Published: (2026)

From Next Token Prediction to (STRIPS) World Models
by: Núñez-Molina, Carlos, et al.
Published: (2025)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)

rmlnomogram: An R package to construct an explainable nomogram for any machine learning algorithms
by: Sufriyana, Herdiantri, et al.
Published: (2025)

Sensitivity Uncertainty Alignment in Large Language Models
by: Hiremath, Prakul Sunil, et al.
Published: (2026)

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
by: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Published: (2025)

A Domain-Agnostic Neurosymbolic Approach for Big Social Data Analysis: Evaluating Mental Health Sentiment on Social Media during COVID-19
by: Khandelwal, Vedant, et al.
Published: (2024)

Automated Circuit Interpretation via Probe Prompting
by: Birardi, Giuseppe
Published: (2025)

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

U-SEG: Uncertainty in SEGmentation -- A systematic multi-variable exploration
by: Smith, Michael, et al.
Published: (2026)

T-Norm Operators for EU AI Act Compliance Classification: An Empirical Comparison of Lukasiewicz, Product, and Gödel Semantics in a Neuro-Symbolic Reasoning System
by: Laabs, Adam
Published: (2026)

On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)

Bi-View Embedding Fusion: A Hybrid Learning Approach for Knowledge Graph's Nodes Classification Addressing Problems with Limited Data
by: Napoli, Rosario, et al.
Published: (2025)

A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making
by: Núñez-Molina, Carlos, et al.
Published: (2023)

Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data
by: Li, Andrew C., et al.
Published: (2025)

Distributed Multi-Layer Editing for Rule-Level Knowledge in Large Language Models
by: Wang, Yating, et al.
Published: (2026)

Graph Spring Neural ODEs for Link Sign Prediction
by: Rehmann, Andrin, et al.
Published: (2024)

SALT-KG: A Benchmark for Semantics-Aware Learning on Enterprise Tables
by: Mulang, Isaiah Onando, et al.
Published: (2026)

Generative and Contrastive Graph Representation Learning
by: Chen, Jiali, et al.
Published: (2025)

SAGE: Scale-Aware Gradual Evolution for Continual Knowledge Graph Embedding
by: Li, Yifei, et al.
Published: (2025)

Robustness of Spatio-temporal Graph Neural Networks for Fault Location in Partially Observable Distribution Grids
by: Karabulut, Burak, et al.
Published: (2026)

Learning, Fast and Slow: Towards LLMs That Adapt Continually
by: Tiwari, Rishabh, et al.
Published: (2026)

MeMo: Towards Language Models with Associative Memory Mechanisms
by: Zanzotto, Fabio Massimo, et al.
Published: (2025)

HyperPersona: A Multi-Level Hypergraph Framework for Text-Based Automatic Personality Prediction
by: Heydari, Sina, et al.
Published: (2026)

Compositional Concept-Based Neuron-Level Interpretability for Deep Reinforcement Learning
by: Jiang, Zeyu, et al.
Published: (2025)

Enabling Transparent Cyber Threat Intelligence Combining Large Language Models and Domain Ontologies
by: Cotti, Luca, et al.
Published: (2025)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
by: Filho, Francisco Mateus Rocha, et al.
Published: (2024)