reasoning

Here are 7 public repositories matching this topic...

typedb / typedb

TypeDB: the power of programming, in your database

database polymorphic logic inference polymorphism knowledge-base type-system strongly-typed knowledge-representation reasoning typedb typeql

Updated Aug 7, 2025
Rust

typedb / typeql

Star

TypeQL: the power of programming, in your database

query database polymorphic logic inference polymorphism type-system strongly-typed query-language reasoning typedb typeql

Updated Jun 10, 2025
Rust

pbonte / roxi

Star

Reactive Reasoning

javascript rust webassembly semantic-web datalog n3 reasoning streamreasoning

Updated Aug 9, 2024
Rust

chanind / tensor-theorem-prover

Star

First-order logic theorem prover supporting unification with approximate vector similarity

logic theorem-proving first-order-logic reasoning symbolic-logic

Updated Mar 23, 2023
Rust

universome / dl-reasoner

Star

Tableau-based reasoner for ALCQ description logic

alc reasoning description-logic aclq tableau-algorithm

Updated May 1, 2020
Rust

SoftVarE-Group / d-dnnf-reasoner

Star

A d-DNNF reasoner.

reasoning feature-models d-dnnf

Updated Aug 8, 2025
Rust

lochbrunner / symbolic-reasoning

Star

machine-learning symbolic-computation reasoning

Updated Jan 3, 2023
Rust

Improve this page

Add a description, image, and links to the reasoning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the reasoning topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

reasoning

Here are 7 public repositories matching this topic...

typedb / typedb

typedb / typeql

pbonte / roxi

chanind / tensor-theorem-prover

universome / dl-reasoner

SoftVarE-Group / d-dnnf-reasoner

lochbrunner / symbolic-reasoning

Improve this page

Add this topic to your repo