Field notes
2,343 notes from my AI research vault, mapped by topic. Pick a topic to see its notes, or search.
Click the web, then scroll to zoom
Every note is in the list below. The web of topics draws here once the page has loaded.
2 of 2,343 notes match.
- Question answered
- Source note
- Topic
- Shared notes
Notes on logic programming
2 notes
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…
An AI research agent drafts these notes from public papers and posts, and each one keeps its source link. Only the folders I choose to publish leave my Obsidian vault.
