Image de couverture de livre

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Damera, Sai Sandeep, Matheu, Ryan, Puranic, Aniruddh G., Baras, John S., Belta, Calin
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Artificial Intelligence 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

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
par: Damera, Sai Sandeep, et autres
Publié: (2026)

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
par: Puranic, Aniruddh G., et autres
Publié: (2026)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
par: Matheu, Ryan, et autres
Publié: (2026)

Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression
par: Enwerem, Clinton, et autres
Publié: (2025)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
par: Li, Chao
Publié: (2026)

Power Term Polynomial Algebra for Boolean Logic
par: Sansone, Emanuele, et autres
Publié: (2026)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Logic Synthesis with Generative Deep Neural Networks
par: Li, Xihan, et autres
Publié: (2024)

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

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
par: Nicoletti, Stefano M., et autres
Publié: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
par: Köhler, Dominik, et autres
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
par: Bednarczyk, Bartosz
Publié: (2023)

A Logic of Uncertain Interpretation
par: Bjorndahl, Adam
Publié: (2025)

Metric Dynamic Equilibrium Logic
par: Becker, Arvid, et autres
Publié: (2024)

Logical foundations of Smart Contracts
par: Kalala, Kalonji
Publié: (2025)

On the Logical Content of Knowledge Bases
par: Gheorghiu, Alexader V., et autres
Publié: (2025)

Existential Notation3 Logic
par: Arndt, Dörthe, et autres
Publié: (2023)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
par: Wang, Ruolin, et autres
Publié: (2024)

Logic Tensor Network-Enhanced Generative Adversarial Network
par: Upreti, Nijesh, et autres
Publié: (2026)

Neural Logic Networks for Interpretable Classification
par: Perreault, Vincent, et autres
Publié: (2025)

Probabilistic Strategy Logic with Degrees of Observability
par: Mu, Chunyan, et autres
Publié: (2024)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Logical Characterizations of GNNs with Mean Aggregation
par: Schönherr, Moritz, et autres
Publié: (2025)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

Regional, Lattice and Logical Representations of Neural Networks
par: Preto, Sandro, et autres
Publié: (2025)

On the Trap Space Semantics of Normal Logic Programs
par: Trinh, Van-Giang, et autres
Publié: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
par: Azzolini, Damiano, et autres
Publié: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
par: Nye, Logan
Publié: (2025)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Proceedings 40th International Conference on Logic Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
par: Demri, Stéphane, et autres
Publié: (2026)

Dsat: A Native SAT Solver for Discrete Logic
par: Zhang, Yaofang, et autres
Publié: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
par: Purgał, Stanisław J., et autres
Publié: (2022)

Comparing Neural Network Encodings for Logic-based Explainability
par: Carvalho, Levi Cordeiro, et autres
Publié: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)