🧮 Datalog Engines - beachlorn · Scour

Toward a universal foundation model for graph-structured data λLambda Calculus

arxiv.org·1d

aspenkit/aspens: Generate AI-ready documentation for any codebase. Import graph analysis, parallel agentic discovery, skill generation for Claude Code. ✨Gleam

github.com·2d·r/artificial

Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach 🎯Constraint Programming

arxiv.org·1d

Logical Robots: Declarative Multi-Agent Programming in Logica 🔍Prolog

arxiv.org·1d

Loading more...