scientific article; zbMATH DE number 7715470

MaRDI QIDQ6173573zbMATH OpenFDO

Authors Nebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković

Publication date 21 July 2023

Full work available at URL http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p37-78.pdf

zbMATH Keywords

decidabilityconditional probabilitystrong completenessprobability logicdefault reasoningnon-standard analysisapproximate probability

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Decidability of theories and sets of sentences (03B25)

Cited in

(5)

• Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
• Probabilistic Modeling of Default Reasoning
• A First-order Logic for Reasoning about Knowledge and Probability
• A Survey of First-Order Probabilistic Models
• ProbLog Technology for Inference in a Probabilistic First Order Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6173573)