#

deduction

Here are 2 public repositories matching this topic...

Michaelsladkov / matlog_lab2

parsing logic deduction automated-proof

Updated Jan 20, 2022
Java

micheleorsi / grakn

The Database for AI

database graph logic graph-database relational-databases graph-visualization knowledge-base knowledge-representation reasoning grakn graql hyper-relational deduction

Updated Dec 22, 2017
Java

Improve this page

Add a description, image, and links to the deduction 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 deduction topic, visit your repo's landing page and select "manage topics."