38 citations · 94 across the 24 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Not What You Meant: Can LLMs Follow a Specified Negation Semantics?
Qiming Bao, Agnieszka Mensfelt, Michael J. Witbrock +1
Negation does not carry a uniform interpretation across domains. In legal, regulatory, and medical reasoning, the intended interpretation depends on the reading in force -- open- v…
cs.AI2026
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2
Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of improved performance through extended internal reasoning scales poorly. Symbolic de…