:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Stol, Maarten C., Mileo, Alessandra
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2404.19485
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bounded Fitting for Expressive Description Logics
by: Funk, Maurice, et al.
Published: (2026)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
by: Hillerstrom, Fieke, et al.
Published: (2024)

On Scaling Neurosymbolic Programming through Guided Logical Inference
by: Valentin, Thomas Jean-Michel, et al.
Published: (2025)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
by: Olausson, Theo X., et al.
Published: (2023)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
by: Ardon, Leo, et al.
Published: (2024)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
by: Bizzaro, Davide, et al.
Published: (2025)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
by: Chen, Michael K.
Published: (2025)

Saliency-Based diversity and fairness Metric and FaceKeepOriginalAugment: A Novel Approach for Enhancing Fairness and Diversity
by: Kumar, Teerath, et al.
Published: (2024)

FaceSaliencyAug: Mitigating Geographic, Gender and Stereotypical Biases via Saliency-Based Data Augmentation
by: Kumar, Teerath, et al.
Published: (2024)

KeepOriginalAugment: Single Image-based Better Information-Preserving Data Augmentation Approach
by: Kumar, Teerath, et al.
Published: (2024)

SAT-Based Bounded Fitting for the Description Logic ALC
by: Funk, Maurice, et al.
Published: (2025)

Fitting Multilinear Polynomials for Logic Gate Networks
by: Kim, Youngsung
Published: (2026)

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

Neurosymbolic Auditing of Natural-Language Software Requirements
by: Hall, Bethel, et al.
Published: (2026)

Towards generating more interpretable counterfactuals via concept vectors: a preliminary study on chest X-rays
by: Maksudov, Bulat, et al.
Published: (2025)

Data Complexity in Expressive Description Logics With Path Expressions
by: Bednarczyk, Bartosz
Published: (2024)

Neurosymbolic Framework for Concept-Driven Logical Reasoning in Skeleton-Based Human Action Recognition
by: Ilyas, Talha, et al.
Published: (2026)

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2
by: Hauke, Stan P, et al.
Published: (2025)

Enhancing Logical Expressiveness in Graph Neural Networks via Path-Neighbor Aggregation
by: Yu, Han, et al.
Published: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
by: Quansah, Paapa Kwesi, et al.
Published: (2026)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

ReportLogic: Evaluating Logical Quality in Deep Research Reports
by: Zhao, Jujia, et al.
Published: (2026)

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

ABRA: Agent Benchmark for Radiology Applications
by: Maksudov, Bulat, et al.
Published: (2026)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
by: Gandarela, João Pedro, et al.
Published: (2024)

Symmetries and Expressive Requirements for Learning General Policies
by: Drexler, Dominik, et al.
Published: (2024)

LogicPrpBank: A Corpus for Logical Implication and Equivalence
by: Liu, Zhexiong, et al.
Published: (2024)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
by: Soeteman, Arie, et al.
Published: (2025)

eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
by: Wormald, Stephen, et al.
Published: (2025)

Fitting Description Logic Ontologies to ABox and Query Examples
by: Funk, Maurice, et al.
Published: (2025)

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
by: Adriaensen, Rik, et al.
Published: (2025)

MultiZebraLogic: A Multilingual Logical Reasoning Benchmark
by: Bruun, Sofie Helene, et al.
Published: (2025)

Logic Agent: Enhancing Validity with Logic Rule Invocation
by: Liu, Hanmeng, et al.
Published: (2024)

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
by: Mao, Yuhao, et al.
Published: (2024)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
by: Morris, Matthew, et al.
Published: (2025)

LogicLens: Visual-Logical Co-Reasoning for Text-Centric Forgery Analysis
by: Zeng, Fanwei, et al.
Published: (2025)

Neurosymbolic Inference On Foundation Models For Remote Sensing Text-to-image Retrieval With Complex Queries
by: Mezzi, Emanuele, et al.
Published: (2025)

LogicPoison: Logical Attacks on Graph Retrieval-Augmented Generation
by: Xiao, Yilin, et al.
Published: (2026)