Skip to content

About

miniKanren-based Inference Engine for Non-Axiomatic Logic

Resources

Readme
Activity

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository
BranchesTags

Latest commit

 

History

1 Commit

Folders and files

NameName
Last commit message
Last commit date
Narsese
Narsese
 
 
Kanren_Reasoner.ipynb
Kanren_Reasoner.ipynb
 
 
README.md
README.md
 
 
paper_51.pdf
paper_51.pdf
 
 

Repository files navigation

Notebook and supporting files for NARS Workshop 2024 talk on miniKanren-based Inference Engine.

Open In Colab

About

miniKanren-based Inference Engine for Non-Axiomatic Logic

Resources

Readme
Activity

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages