Topic

Building Problem Solvers

1 items across the graph — tagged with Building Problem Solvers.

From the graph · 1

repo
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: ht…

→

Related topics

inference 1boolean-constraint-propagation 1logic 1forbus-de-kleer 1building-problem-solvers 1knowledge-representation 1artificial-intelligence 1jtms 1python 1ltms 1
Search Building Problem Solvers →All topics →