Imagen de Portada

Abstract Dialectical Frameworks are Boolean Networks (full version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Heyninck, Jesse, Knorr, Matthias, Leite, João
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Operator-based semantics for choice programs: is choosing losing? (full version)
por: Heyninck, Jesse
Publicado: (2024)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
por: Heyninck, Jesse
Publicado: (2024)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
por: Spaans, Jeroen, et al.
Publicado: (2025)

Extension-ranking Semantics for Abstract Argumentation Preprint
por: Skiba, Kenneth, et al.
Publicado: (2025)

Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
por: Wielinga, Sanne, et al.
Publicado: (2025)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
por: Heyninck, Jesse, et al.
Publicado: (2023)

Defeasible Conditionals using Answer Set Programming
por: Dennison, Racquel, et al.
Publicado: (2026)

Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases
por: Spiegel, Lars-Phillip, et al.
Publicado: (2026)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
por: Martina, Antoine, et al.
Publicado: (2023)

EZASP -- Facilitating the usage of ASP
por: Martins, Rafael, et al.
Publicado: (2026)

Learning Compact Boolean Networks
por: Wang, Shengpu, et al.
Publicado: (2026)

Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation Framework
por: Wei, Sheng, et al.
Publicado: (2026)

DialectLLM: A Dialect-Aware Dialog[ue] Generation Framework Beyond Standard American English
por: Oh, Jio, et al.
Publicado: (2026)

An Open-source End-to-End Logic Optimization Framework for Large-scale Boolean Network with Reinforcement Learning
por: Li, Zhen, et al.
Publicado: (2024)

Boolean Product Graph Neural Networks
por: Wang, Ziyan, et al.
Publicado: (2024)

Dialectics for Artificial Intelligence
por: Hu, Zhengmian
Publicado: (2025)

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

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
por: Blümel, Lydia, et al.
Publicado: (2024)

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
por: Chan, Tsz Ho, et al.
Publicado: (2024)

Extracting Lexical Features from Dialects via Interpretable Dialect Classifiers
por: Xie, Roy, et al.
Publicado: (2024)

Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis
por: Zhang, Zhuofan, et al.
Publicado: (2026)

DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
por: Altakrori, Malik H., et al.
Publicado: (2025)

An Abstract Worlds Semantic Framework for Belief Change Operators
por: Grimaldi, Daniel, et al.
Publicado: (2026)

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

Low-Resource Dialect Adaptation of Large Language Models: A French Dialect Case-Study
por: Khan, Eeham, et al.
Publicado: (2025)

Practical Boolean Backpropagation
por: Golbert, Simon
Publicado: (2025)

Interpolation in Knowledge Representation
por: Jung, Jean Christoph, et al.
Publicado: (2025)

BoolSkeleton: Boolean Network Skeletonization via Homogeneous Pattern Reduction
por: Ni, Liwei, et al.
Publicado: (2025)

Learning Nonlinearity of Boolean Functions: An Experimentation with Neural Networks
por: Ranga, Sriram, et al.
Publicado: (2025)

Engineering an Exact Pseudo-Boolean Model Counter
por: Yang, Suwei, et al.
Publicado: (2023)

Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation
por: Zhang, Zhuofan, et al.
Publicado: (2026)

The Quantified Boolean Bayesian Network: Theory and Experiments with a Logical Graphical Model
por: Coppola, Gregory
Publicado: (2024)

Learning with Boolean threshold functions
por: Elser, Veit, et al.
Publicado: (2026)

BoolXLLM: LLM-Assisted Explainability for Boolean Models
por: Cheng, Du, et al.
Publicado: (2026)

Pseudo-Boolean Proof Logging for Optimal Classical Planning
por: Dold, Simon, et al.
Publicado: (2025)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
por: Marzari, Luca, et al.
Publicado: (2025)

Picturized and Recited with Dialects: A Multimodal Chinese Representation Framework for Sentiment Analysis of Classical Chinese Poetry
por: Du, Xiaocong, et al.
Publicado: (2025)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
por: Blümel, Lydia, et al.
Publicado: (2026)

Data-Augmentation-Based Dialectal Adaptation for LLMs
por: Faisal, Fahim, et al.
Publicado: (2024)

Boolean proportions
por: Antić, Christian
Publicado: (2021)