Imagen de Portada

Scaling the weight parameters in Markov logic networks and relational logistic regression models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Weitkämper, Felix
Formato:	Preprint
Publicado:	2021
Materias:	Artificial Intelligence Machine Learning Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
por: Weitkämper, Felix
Publicado: (2022)

Neural logic programs and neural nets
por: Antić, Christian
Publicado: (2024)

Learning big logical rules by joining small rules
por: Hocquette, Céline, et al.
Publicado: (2024)

How Artificial Intelligence Leads to Knowledge Why: An Inquiry Inspired by Aristotle's Posterior Analytics
por: Eelink, Guus, et al.
Publicado: (2025)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

Unifying approach to uniform expressivity of graph neural networks
por: Luo, Huan, et al.
Publicado: (2026)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
por: Zhang, Yaofang, et al.
Publicado: (2026)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
por: Mendez-Lucero, Miguel Angel, et al.
Publicado: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
por: Azeem, Muqsit, et al.
Publicado: (2024)

Mathematics with large language models as provers and verifiers
por: Duc, Hieu Le, et al.
Publicado: (2025)

On logic and generative AI
por: Gurevich, Yuri, et al.
Publicado: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
por: Buleshnyi, Mykhailo, et al.
Publicado: (2025)

Application of AI to formal methods - an analysis of current trends
por: Stock, Sebastian, et al.
Publicado: (2024)

P2C: Path to Counterfactuals
por: Dasgupta, Sopam, et al.
Publicado: (2025)

Autonomous Code Evolution Meets NP-Completeness
por: Yu, Cunxi, et al.
Publicado: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
por: Sälzer, Marco, et al.
Publicado: (2025)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
por: Pati, Viresh, et al.
Publicado: (2026)

Lattice Deduction Transformers
por: Davis, Liam, et al.
Publicado: (2026)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
por: Vishwakarma, Rahul, et al.
Publicado: (2023)

Hypergraph Neural Networks Accelerate MUS Enumeration
por: Ijima, Hiroya, et al.
Publicado: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
por: Li, Jinzhao, et al.
Publicado: (2026)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
por: Wu, Haoze, et al.
Publicado: (2024)

Comparing Neural Network Encodings for Logic-based Explainability
por: Carvalho, Levi Cordeiro, et al.
Publicado: (2025)

Machine Learning for Quantifier Selection in cvc5
por: Jakubův, Jan, et al.
Publicado: (2024)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
por: Pal, Koyena, et al.
Publicado: (2026)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
por: Xie, Zixuan, et al.
Publicado: (2026)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
por: Daggitt, Matthew L., et al.
Publicado: (2024)

Proceedings 12th International Workshop on Theorem proving components for Educational software
por: Narboux, Julien, et al.
Publicado: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
por: Dasgupta, Sopam, et al.
Publicado: (2024)

Autoformalizing Euclidean Geometry
por: Murphy, Logan, et al.
Publicado: (2024)

Expressive Temporal Specifications for Reward Monitoring
por: Adalat, Omar, et al.
Publicado: (2025)

Abduction of Domain Relationships from Data for VQA
por: Chowdhury, Al Mehdi Saadat, et al.
Publicado: (2025)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
por: Ciatto, Giovanni, et al.
Publicado: (2025)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
por: De Angelis, Emanuele, et al.
Publicado: (2024)

On Trustworthy Rule-Based Models and Explanations
por: Siala, Mohamed, et al.
Publicado: (2025)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
por: Zhang, Xiyue, et al.
Publicado: (2024)

Can Transformers Learn to Verify During Backtracking Search?
por: Phua, Yin Jun, et al.
Publicado: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
por: Sharifi, Iman, et al.
Publicado: (2026)

Dual Box Embeddings for the Description Logic EL++
por: Jackermeier, Mathias, et al.
Publicado: (2023)