Imagen de Portada

State Algebra for Propositional Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lesnik, Dmitry, Schäfer, Tobias
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Logic in Computer Science 03G27 (Primary) 68W30, 68T27 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

State Algebra for Probabilistic Logic
por: Lesnik, Dmitry, et al.
Publicado: (2026)

Propositional Measure Logic
por: Aragão, Francisco
Publicado: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
por: Donadello, Ivan, et al.
Publicado: (2024)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
por: Grosser, Marvin, et al.
Publicado: (2026)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

Domain size asymptotics for Markov logic networks
por: Koponen, Vera
Publicado: (2025)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
por: Alpay, Faruk, et al.
Publicado: (2025)

A convergence law for continuous logic and continuous structures with finite domains
por: Koponen, Vera
Publicado: (2025)

Don't Forget Imagination!
por: Vityaev, Evgenii E., et al.
Publicado: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
por: Dundua, Besik, et al.
Publicado: (2025)

Proof-Carrying Verification for ReLU Networks via Rational Certificates
por: Gokavarapu, Chandrasekhar
Publicado: (2025)

Hallucination, abstention, and computable inseparability
por: Imamura, Takuma
Publicado: (2026)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
por: Pardal, Nina, et al.
Publicado: (2024)

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
por: Inoué, Takao
Publicado: (2026)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
por: Kuang, Qipeng, et al.
Publicado: (2025)

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)

Provability in BI's Sequent Calculus is Decidable
por: Gheorghiu, Alexander, et al.
Publicado: (2021)

Verifiably Robust Conformal Prediction
por: Jeary, Linus, et al.
Publicado: (2024)

On Halting vs Converging in Recurrent Graph Neural Networks
por: Bollen, Jeroen, et al.
Publicado: (2026)

Proof complexity of universal algebra in a CSP dichotomy proof
por: Gaysin, Azza
Publicado: (2024)

Local Collaborative Filtering: A Collaborative Filtering Method that Utilizes Local Similarities among Users
por: Shen, Zhaoxin, et al.
Publicado: (2025)

O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
por: Khaitan, Ayush, et al.
Publicado: (2025)

Variants of Solovay reducibility
por: Titov, Ivan
Publicado: (2024)

Algebraic Proof Theory for Infinitary Action Logic
por: Fussner, Wesley, et al.
Publicado: (2025)

The Representation of Meaningful Precision, and Accuracy
por: Mani, A
Publicado: (2024)

Bridging Weighted First Order Model Counting and Graph Polynomials
por: Kuang, Qipeng, et al.
Publicado: (2024)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
por: Sun, Shixin, et al.
Publicado: (2026)

A Reduction of Input/Output Logics to SAT
por: Steen, Alexander
Publicado: (2025)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
por: Kattermann, David, et al.
Publicado: (2025)

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
por: Cifuentes, Santiago, et al.
Publicado: (2024)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
por: Brophy, Matthew E.
Publicado: (2025)

Temporal Many-valued Conditional Logics: a Preliminary Report
por: Alviano, Mario, et al.
Publicado: (2024)

Online Trading as a Secretary Problem Variant
por: Chen, Xujin, et al.
Publicado: (2026)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
por: Buoncompagni, Luca, et al.
Publicado: (2024)

Solovay reducibility implies S2a-reducibility
por: Titov, Ivan
Publicado: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
por: Merkle, Wolfgang, et al.
Publicado: (2024)

Why this and not that? A Logic-based Framework for Contrastive Explanations
por: Geibinger, Tobias, et al.
Publicado: (2025)

A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
por: Beierle, Christoph, et al.
Publicado: (2025)

Measurability in the Fundamental Theorem of Statistical Learning
por: Krapp, Lothar Sebastian, et al.
Publicado: (2024)

A hierarchical Vovk-Azoury-Warmuth forecaster with discounting for online regression in RKHS
por: Rokhlin, Dmitry B.
Publicado: (2025)