:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Stol, Maarten C., Mileo, Alessandra
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2404.19485
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Relative Expressiveness of Defeasible Logics II
por: Maher, Michael J.
Publicado: (2021)

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

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

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

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

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

Fitting Multilinear Polynomials for Logic Gate Networks
por: Kim, Youngsung
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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