activity
20242026
most citedOn LLM-generated Logic Programs and their Inference Execution Methods

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.CL2024

Through the Looking Glass, and what Horn Clause Programs Found There

Paul Tarau

Dual Horn clauses mirror key properties of Horn clauses. This paper explores the ``other side of the looking glass'' to reveal some expected and unexpected symmetries and their pra…