Imagen de Portada

Domain size asymptotics for Markov logic networks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Koponen, Vera
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Logic in Computer Science Logic 68T27, 68T30, 68T37, 03C13 I.2; F.4; G.3
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

On the relative asymptotic expressivity of inference frameworks
por: Koponen, Vera, et al.
Publicado: (2022)

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

Random expansions of trees with bounded height
por: Koponen, Vera, et al.
Publicado: (2024)

Random expansions of finite structures with bounded degree
por: Koponen, Vera
Publicado: (2024)

Oruga: An Avatar of Representational Systems Theory
por: Raggi, Daniel, et al.
Publicado: (2025)

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

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
por: Raggi, Daniel, et al.
Publicado: (2025)

Normative Conditional Reasoning as a Fragment of HOL
por: Parent, Xavier, et al.
Publicado: (2023)

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

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

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

A novel framework for systematic propositional formula simplification based on existential graphs
por: de Mas, Jordina Francès, et al.
Publicado: (2024)

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

State Algebra for Propositional Logic
por: Lesnik, Dmitry, et al.
Publicado: (2025)

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
por: Rovai, Fabio
Publicado: (2026)

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

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

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

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
por: Kůla, Václav, et al.
Publicado: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
por: Farmer, William M.
Publicado: (2026)

Probabilistic Variational Causal Approach in Observational Studies
por: Faghihi, Usef, et al.
Publicado: (2022)

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

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
por: Wright, Craig S.
Publicado: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
por: Benzmüller, Christoph
Publicado: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
por: Benzmüller, Christoph, et al.
Publicado: (2026)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
por: Wang, Shuai, et al.
Publicado: (2024)

TPTP World Infrastructure for Non-classical Logics
por: Steen, Alexander, et al.
Publicado: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
por: Jaakkola, Reijo, et al.
Publicado: (2024)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
por: Haak, Anselm, et al.
Publicado: (2026)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
por: Wright, Craig Steven
Publicado: (2025)

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

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
por: Kricheli, Joshua Shay, et al.
Publicado: (2024)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
por: Echenim, Mnacho, et al.
Publicado: (2023)

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

Mechanised uniform interpolation for modal logics K, GL, and iSL
por: Férée, Hugo, et al.
Publicado: (2024)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
por: Santacana, Andreu Ballus
Publicado: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
por: Farmer, William M., et al.
Publicado: (2023)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
por: Kesseli, Pascal, et al.
Publicado: (2025)