Image de couverture de livre

Abstract Dialectical Frameworks are Boolean Networks (full version)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Heyninck, Jesse, Knorr, Matthias, Leite, João
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
par: Spaans, Jeroen, et autres
Publié: (2025)

Extension-ranking Semantics for Abstract Argumentation Preprint
par: Skiba, Kenneth, et autres
Publié: (2025)

Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
par: Wielinga, Sanne, et autres
Publié: (2025)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
par: Heyninck, Jesse, et autres
Publié: (2023)

Defeasible Conditionals using Answer Set Programming
par: Dennison, Racquel, et autres
Publié: (2026)

Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases
par: Spiegel, Lars-Phillip, et autres
Publié: (2026)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)

EZASP -- Facilitating the usage of ASP
par: Martins, Rafael, et autres
Publié: (2026)

Learning Compact Boolean Networks
par: Wang, Shengpu, et autres
Publié: (2026)

Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation Framework
par: Wei, Sheng, et autres
Publié: (2026)

DialectLLM: A Dialect-Aware Dialog[ue] Generation Framework Beyond Standard American English
par: Oh, Jio, et autres
Publié: (2026)

An Open-source End-to-End Logic Optimization Framework for Large-scale Boolean Network with Reinforcement Learning
par: Li, Zhen, et autres
Publié: (2024)

Boolean Product Graph Neural Networks
par: Wang, Ziyan, et autres
Publié: (2024)

Dialectics for Artificial Intelligence
par: Hu, Zhengmian
Publié: (2025)

On the Boolean Network Theory of Datalog$^\neg$
par: Trinh, Van-Giang, et autres
Publié: (2025)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
par: Blümel, Lydia, et autres
Publié: (2024)

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
par: Chan, Tsz Ho, et autres
Publié: (2024)

Extracting Lexical Features from Dialects via Interpretable Dialect Classifiers
par: Xie, Roy, et autres
Publié: (2024)

Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis
par: Zhang, Zhuofan, et autres
Publié: (2026)

DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
par: Altakrori, Malik H., et autres
Publié: (2025)

An Abstract Worlds Semantic Framework for Belief Change Operators
par: Grimaldi, Daniel, et autres
Publié: (2026)

Static Analysis of Logic Programs via Boolean Networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

Low-Resource Dialect Adaptation of Large Language Models: A French Dialect Case-Study
par: Khan, Eeham, et autres
Publié: (2025)

Practical Boolean Backpropagation
par: Golbert, Simon
Publié: (2025)

Interpolation in Knowledge Representation
par: Jung, Jean Christoph, et autres
Publié: (2025)

BoolSkeleton: Boolean Network Skeletonization via Homogeneous Pattern Reduction
par: Ni, Liwei, et autres
Publié: (2025)

Learning Nonlinearity of Boolean Functions: An Experimentation with Neural Networks
par: Ranga, Sriram, et autres
Publié: (2025)

Engineering an Exact Pseudo-Boolean Model Counter
par: Yang, Suwei, et autres
Publié: (2023)

Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation
par: Zhang, Zhuofan, et autres
Publié: (2026)

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

Learning with Boolean threshold functions
par: Elser, Veit, et autres
Publié: (2026)

BoolXLLM: LLM-Assisted Explainability for Boolean Models
par: Cheng, Du, et autres
Publié: (2026)

Pseudo-Boolean Proof Logging for Optimal Classical Planning
par: Dold, Simon, et autres
Publié: (2025)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
par: Marzari, Luca, et autres
Publié: (2025)

Picturized and Recited with Dialects: A Multimodal Chinese Representation Framework for Sentiment Analysis of Classical Chinese Poetry
par: Du, Xiaocong, et autres
Publié: (2025)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
par: Blümel, Lydia, et autres
Publié: (2026)

Data-Augmentation-Based Dialectal Adaptation for LLMs
par: Faisal, Fahim, et autres
Publié: (2024)

Boolean proportions
par: Antić, Christian
Publié: (2021)