logo
today local_bar
soft unification

1 paper across 1 session

Poster Session 5

1 paper
Friday, December 5, 2025 · 11:00 AM → 2:00 PM
Exhibit Hall C,D,E
Embeddings as Probabilistic Equivalence in Logic Programs
#614 · Jaron Maene, Efthymia Tsamoura

We introduce a distribution semantics on logic programs using probabilistic equivalence.