Buchumschlag

Implementing Derivations of Definite Logic Programs with Self-Attention Networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Thuy, Phan Thi Thanh, Yamamoto, Akihiro
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Differentiable Logic Programming for Distant Supervision
von: Takemura, Akihiro, et al.
Veröffentlicht: (2024)

LTNtorch: PyTorch Implementation of Logic Tensor Networks
von: Carraro, Tommaso, et al.
Veröffentlicht: (2024)

Self-Supervised Inductive Logic Programming
von: Patsantzis, Stassa
Veröffentlicht: (2025)

The AI Definition and a Program Which Satisfies this Definition
von: Dobrev, Dimiter
Veröffentlicht: (2022)

BERT4FCA: A Method for Bipartite Link Prediction using Formal Concept Analysis and BERT
von: Peng, Siqi, et al.
Veröffentlicht: (2024)

Dynamic Theory of Mind as a Temporal Memory Problem: Evidence from Large Language Models
von: Nguyen, Thuy Ngoc, et al.
Veröffentlicht: (2026)

Mitigating Degree Bias in Graph Representation Learning with Learnable Structural Augmentation and Structural Self-Attention
von: Hoang, Van Thuy, et al.
Veröffentlicht: (2025)

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2024)

Efficient Disruption of Criminal Networks through Multi-Objective Genetic Algorithms
von: Darmadi, Yehezkiel, et al.
Veröffentlicht: (2026)

Multiplicity of powers of squarefree monomial ideals
von: Thuy, Phan Thi, et al.
Veröffentlicht: (2024)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
von: Phua, Yin Jun, et al.
Veröffentlicht: (2024)

Static Analysis of Logic Programs via Boolean Networks
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2024)

MMP-A*: Multimodal Perception Enhanced Incremental Heuristic Search on Path Planning
von: Ha, Minh Hieu, et al.
Veröffentlicht: (2026)

BOLIMES: Boruta and LIME optiMized fEature Selection for Gene Expression Classification
von: Phan, Bich-Chung, et al.
Veröffentlicht: (2025)

The Definitive Guide to Policy Gradients in Deep Reinforcement Learning: Theory, Algorithms and Implementations
von: Lehmann, Matthias
Veröffentlicht: (2024)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
von: Derkinderen, Vincent, et al.
Veröffentlicht: (2024)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
von: Heyninck, Jesse, et al.
Veröffentlicht: (2023)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
von: Wang, Zhongsheng, et al.
Veröffentlicht: (2024)

State Definition for Conflict Analysis with Four-valued Logic
von: Kato, Yukiko
Veröffentlicht: (2022)

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
von: Li, Naiqi, et al.
Veröffentlicht: (2025)

GLANCE: Graph Logic Attention Network with Cluster Enhancement for Heterophilous Graph Representation Learning
von: Sun, Zhongtian, et al.
Veröffentlicht: (2025)

On the Definition of Intelligence
von: Ng, Kei-Sing
Veröffentlicht: (2025)

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
von: Buraglio, Giovanni, et al.
Veröffentlicht: (2026)

On Scaling Neurosymbolic Programming through Guided Logical Inference
von: Valentin, Thomas Jean-Michel, et al.
Veröffentlicht: (2025)

Epistemic Logic Programs: a study of some properties
von: Costantini, Stefania, et al.
Veröffentlicht: (2023)

Satisfiability Modulo Theory Meets Inductive Logic Programming
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
von: Martires, Pedro Zuidberg Dos, et al.
Veröffentlicht: (2023)

On LLM-generated Logic Programs and their Inference Execution Methods
von: Tarau, Paul
Veröffentlicht: (2025)

LiveCultureBench: a Multi-Agent, Multi-Cultural Benchmark for Large Language Models in Dynamic Social Simulations
von: Pham, Viet-Thanh, et al.
Veröffentlicht: (2026)

Aligning Large Vision-Language Models by Deep Reinforcement Learning and Direct Preference Optimization
von: Nguyen, Thanh Thi, et al.
Veröffentlicht: (2025)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
von: Sharifi, Iman, et al.
Veröffentlicht: (2026)

Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
von: Shah, Swapn, et al.
Veröffentlicht: (2026)

Software Mention Recognition with a Three-Stage Framework Based on BERTology Models at SOMD 2024
von: Thi, Thuy Nguyen, et al.
Veröffentlicht: (2024)

A Definition of AGI
von: Hendrycks, Dan, et al.
Veröffentlicht: (2025)

Pareto-Grid-Guided Large Language Models for Fast and High-Quality Heuristics Design in Multi-Objective Combinatorial Optimization
von: Ha, Minh Hieu, et al.
Veröffentlicht: (2025)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
von: Shapiro, Ehud
Veröffentlicht: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

The Open Syndrome Definition
von: Ferreira, Ana Paula Gomes, et al.
Veröffentlicht: (2025)

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
von: Harzli, Ouns El, et al.
Veröffentlicht: (2025)