Computing <i>LP<sup>MLN</sup></i> using ASP and MLN solvers (Q4592718): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Probabilistic reasoning with answer sets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Inference and learning in probabilistic logic programs using weighted Boolean formulas / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Multi-Criteria Optimization in Answer Set Programming / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4631191 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4496846 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Markov logic networks / rank | |||
Normal rank | |||
Revision as of 16:07, 14 July 2024
scientific article; zbMATH DE number 6803831
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing <i>LP<sup>MLN</sup></i> using ASP and MLN solvers |
scientific article; zbMATH DE number 6803831 |
Statements
Computing <i>LP<sup>MLN</sup></i> using ASP and MLN solvers (English)
0 references
8 November 2017
0 references
answer set programming
0 references
Markov logic
0 references
LPMLN
0 references
0 references
