TY  - RPRT
TI  - Foundations of MT-PDCL: Measure-Theoretic Probabilistic Definite Clause Logic
AU  - Costin Bădică
AU  - Amelia Bădică
PY  - 2026
UR  - https://arxiv.org/abs/2608.13018
ID  - 2608.13018
ER  -