logo
today local_bar
logic programming

2 papers across 1 session

Poster Session 5

2 papers
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.
Are Language Models Efficient Reasoners? A Perspective from Logic Programming
#1810 · Andreas Opedal, Yanick Zengaffinen, Haruki Shirakami, Clemente Pasti, Mrinmaya Sachan, Abulhair Saparov, Ryan Cotterell, Bernhard Schölkopf