FIELD NOTES TOPIC
logic programming
2 notes, newest first.
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…
Explaining Reinforcement Learning Agents via Inductive Logic Programming
This research aims to improve Reinforcement Learning (RL) policies by making them more transparent and interpretable. It proposes objective and planning-oriented metrics for policy explainability in RL settings using…
