FIELD NOTES TOPIC
neuro-symbolic ai
2 notes, newest first.
Identifying Implicit Premises for Logical Reconstruction of Argument Graphs
The authors propose a neuro-symbolic pipeline to generate implicit premises from natural language text, which can be translated into logical formulae to show the logical relationships between statements (entailment…
Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
The paper introduces Euclid-MCP, an open-source MCP server designed to provide deterministic logical reasoning using SWI-Prolog. It presents a new engine-agnostic intermediate representation for Horn-clause logic…
