Imagen de Portada

BAss: Symbolic Reasoning in Abstract Dialectical Frameworks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pastva, Samuel, Trinh, Van-Giang
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
por: Kabir, Mohimenul, et al.
Publicado: (2025)

On the number of asynchronous attractors in AND-NOT Boolean networks
por: Trinh, Van-Giang, et al.
Publicado: (2025)

Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
por: Huvar, Ondřej, et al.
Publicado: (2026)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
por: Huvar, Ondřej, et al.
Publicado: (2026)

Static Analysis of Logic Programs via Boolean Networks
por: Trinh, Van-Giang, et al.
Publicado: (2024)

Symbolic Snapshot Ensembles
por: Liu, Mingyue, et al.
Publicado: (2025)

Boolformer: Symbolic Regression of Logic Functions with Transformers
por: d'Ascoli, Stéphane, et al.
Publicado: (2023)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
por: Flinkow, Thomas, et al.
Publicado: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
por: Cornelio, Cristina, et al.
Publicado: (2024)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
por: Işık, İlker, et al.
Publicado: (2026)

Formal Explanations for Neuro-Symbolic AI
por: Paul, Sushmita, et al.
Publicado: (2024)

On the Trap Space Semantics of Normal Logic Programs
por: Trinh, Van-Giang, et al.
Publicado: (2026)

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

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
por: Trinh, Van-Giang, et al.
Publicado: (2024)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
por: Sulc, Antonin
Publicado: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
por: Bassan, Shahaf, et al.
Publicado: (2025)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
por: Huang, Jiani, et al.
Publicado: (2023)

Revisiting Differential Verification: Equivalence Verification with Confidence
por: Teuber, Samuel, et al.
Publicado: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
por: He, Haoyuan, et al.
Publicado: (2022)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
por: Rothkopf, Raven, et al.
Publicado: (2024)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
por: Baaj, Ismaïl, et al.
Publicado: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
por: Benedikt, Michael, et al.
Publicado: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
por: Mannucci, Mirco A.
Publicado: (2025)

From learnable objects to learnable random objects
por: Anderson, Aaron, et al.
Publicado: (2025)

Programs as Singularities
por: Murfet, Daniel, et al.
Publicado: (2025)

A General Framework for Property-Driven Machine Learning
por: Flinkow, Thomas, et al.
Publicado: (2025)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
por: Bharti, Varun, et al.
Publicado: (2025)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
por: Shahid, Mahnoor, et al.
Publicado: (2026)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
por: Luo, Ziyan, et al.
Publicado: (2023)

A Logical View of GNN-Style Computation and the Role of Activation Functions
por: Barceló, Pablo, et al.
Publicado: (2025)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
por: Ciatto, Giovanni, et al.
Publicado: (2025)

A Hybrid Real-Time Framework for Efficient Fussell-Vesely Importance Evaluation Using Virtual Fault Trees and Graph Neural Networks
por: Xiao, Xingyu, et al.
Publicado: (2024)

RLSF: Fine-tuning LLMs via Symbolic Feedback
por: Jha, Piyush, et al.
Publicado: (2024)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
por: Guzmán, Manuel Vargas, et al.
Publicado: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
por: Shahid, Mahnoor, et al.
Publicado: (2026)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
por: Trinh, Van-Giang, et al.
Publicado: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
por: Qasim, Kaleem Ullah, et al.
Publicado: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
por: Yang, Yuan, et al.
Publicado: (2022)

Efficient Certified Reasoning for Binarized Neural Networks
por: Yang, Jiong, et al.
Publicado: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
por: Yang, Kaiyu, et al.
Publicado: (2024)