Pages that link to "Item:Q757340"
From MaRDI portal
The following pages link to An analysis of first-order logics of probability (Q757340):
Displaying 8 items.
- From statistical relational to neurosymbolic artificial intelligence: a survey (Q6494348) (← links)
- KnowLang -- a formal specification model for self-adaptive systems (Q6535842) (← links)
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond (Q6545516) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Quantified neural Markov logic networks (Q6577671) (← links)
- Representations of uncertainty in artificial intelligence: probability and possibility (Q6602217) (← links)
- A logical consequence informed by probability (Q6633057) (← links)
- Curry and Howard meet Borel (Q6649480) (← links)