repoGitHubTrust 82 · PrimaryPublished 4d agoLive · 4d ago

pisanuw/ltms

A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: https://pisanuw.github.io/ltms/

Lineage graph

Paper → model → repo connections mined from source citations (Tier-1 exact match).

Related to

companyNorthwind AI modelRetrace-1.5B

Covers

newsIEEE Rolls Out Large Language Models Virtual Training Course

Implements (incoming)

paperSingle and Multi Truth Data Fusion using Large Language Models paperTravel-Oriented Reasoning Large Language Model via Domain-Specific Knowledge Graphs paperA Tutorial on Autonomous Fault-Tolerant Control Using Knowledge-Grounded LLM Agents

Related across the graph

companyNorthwind AI paperA Tutorial on Autonomous Fault-Tolerant Control Using Knowledge-Grounded LLM Agents paperSingle and Multi Truth Data Fusion using Large Language Models paperTravel-Oriented Reasoning Large Language Model via Domain-Specific Knowledge Graphs modelRetrace-1.5B newsIEEE Rolls Out Large Language Models Virtual Training Course

Topics