First-order typed model counting for probabilistic conditional reasoning at maximum entropy
DOI10.1007/978-3-319-67582-4_19zbMATH Open1498.68307OpenAlexW2754050788MaRDI QIDQ5045313FDOQ5045313
Authors: Marco Wilhelm, Marc Finthammer, Gabriele Kern-Isberner, C. Beierle
Publication date: 4 November 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-67582-4_19
Recommendations
Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
This page was built for publication: First-order typed model counting for probabilistic conditional reasoning at maximum entropy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5045313)