Nonparametric Bayesian Logic
UAI'05, 2005. [All Versions]. [Preprint]. The Bayesian Logic (BLOG) language was recently developed for defining first-order probability models over worlds with unknown numbers of objects. It handles important problems in AI, including data association and population…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning dl.acm.org
IJCAI'11, 2011. [All Versions]. [Preprint]. This work introduces Bayesian Abductive Logic Programs (BALP), a probabilistic logic that adapts Bayesian Logic Programs (BLPs) for abductive reasoning. Like BLPs, BALPs also combine first-order logic and Bayes nets. However, unlike…
-
Bayesian Model-Agnostic Meta-Learning proceedings.neurips.cc
NeurIPS'18, 2018. [All Versions]. A Bayesian account on MAML.
-
LogiCode: An LLM-Driven Framework for Logical Anomaly Detection ieeexplore.ieee.org
IEEE Transactions on Automation Science and Engineering, 2024. [All Versions]. This paper presents LogiCode, a novel framework that leverages Large Language Models (LLMs) for identifying logical anomalies in industrial settings, moving beyond the traditional focus on structural…
-
Ben-Ari. Mathematical Logic for Computer Science springer.com
Semantic tableaux are used because they are theoretically sound and easy to understand.
-
Towards combining inductive logic programming with Bayesian networks link.springer.com
ILP'01, 2001. [All Versions].
-
Abductive Logic Programming academic.oup.com
Journal of Logic Computation, 1992. [All Versions]. This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). The authors outline the general framework of abduction and its…
AGI & CoCoSci › Papers > Bayesian Modeling > Nonparametric Model: “UAI'05, 2005. [All Versions]. [Preprint]. The Bayesian Logic (BLOG) language was recently developed for defining first-order probability models over worlds with unknown numbers of objects. It handles important problems in AI, including data association and population…”