Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
On the Triangle Inequality for the Jaccard Distance in Arbitrary Lattices
Costin Bădică, Amelia Bădică
This paper presents new theoretical results on generalizing the Jaccard distance for lattices and real valuations. We demonstrate that when the valuation is strictly positive, mono…
cs.AI2026
Foundations of MT-PDCL: Measure-Theoretic Probabilistic Definite Clause Logic
Costin Bădică, Amelia Bădică
Standard probabilistic logic programming frameworks typically rely on grounding logic programs into discrete propositional representations. This operational requirement restricts e…