Image de couverture de livre

Bridging abstract dialectical argumentation and Boolean gene regulation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Azpeitia, Eugenio, Gutiérrez, Stan Muñoz, Rosenblueth, David A., Zapata, Octavio
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An action language-based formalisation of an abstract argumentation framework
par: Munro, Yann, et autres
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

A proof-theoretic approach to abstract interpretation
par: D'Silva, Vijay, et autres
Publié: (2026)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

Structural Analysis of Boolean Equation Systems
par: Keiren, Jeroen, et autres
Publié: (2010)

Satisfiability of Quantified Boolean Announcements
par: van Ditmarsch, Hans, et autres
Publié: (2022)

Symmetries of Dependency Quantified Boolean Formulas
par: Hofstadler, Clemens, et autres
Publié: (2024)

Compositional Control-Driven Boolean Circuits
par: Arellanes, Damian
Publié: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
par: Powell, Thomas
Publié: (2023)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

Ultraproducts in abstract categorical logic
par: Aiguier, Marc, et autres
Publié: (2024)

On Top-Down Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2025)

Bridging Computational Notions of Depth
par: Bienvenu, Laurent, et autres
Publié: (2024)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

Bringing memory to Boolean networks: a unifying framework
par: Gadouleau, Maximilien, et autres
Publié: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
par: Calvino, Alessandro Tempia, et autres
Publié: (2024)

Simplifier: A New Tool for Boolean Circuit Simplification
par: Averkov, Daniil, et autres
Publié: (2025)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
par: Keiren, Jeroen J. A., et autres
Publié: (2013)

SAT-based Learning of Computation Tree Logic
par: Pommellet, Adrien, et autres
Publié: (2024)

Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism
par: Ju, Fengkui
Publié: (2024)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
par: Dacík, Tomáš, et autres
Publié: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
par: Kabir, Mohimenul, et autres
Publié: (2025)

On the Number of Quantifiers Needed to Define Boolean Functions
par: Carmosino, Marco, et autres
Publié: (2024)

Model Counting for Dependency Quantified Boolean Formulas
par: Fung, Long-Hin, et autres
Publié: (2025)

Logics with probabilistic team semantics and the Boolean negation
par: Hannula, Miika, et autres
Publié: (2023)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
par: Aceto, Luca, et autres
Publié: (2025)

On the number of asynchronous attractors in AND-NOT Boolean networks
par: Trinh, Van-Giang, et autres
Publié: (2025)

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

Scalable Interconnect Learning in Boolean Networks
par: Kresse, Fabian, et autres
Publié: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

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

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

Towards Projected and Incremental Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2024)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
par: Dawar, Anuj, et autres
Publié: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
par: Szeider, Stefan
Publié: (2026)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

Substructural fixed-point theorems and the diagonal argument: theme and variations
par: Roberts, David Michael
Publié: (2021)