GKC

swMATH32359MaRDI QIDQ44070FDOQ44070

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-030-29436-6_32

Source code repository: https://github.com/tammet/gkc

Described by source

• GKC: a reasoning system for large knowledge bases

Cited In (7)

• GK
• SQuARE
• GK: implementing full first order default logic for commonsense reasoning (system description)
• Vampire with a brain is a good ITP hammer
• Peers-mcd
• DeReS
• WhiteDB

This page was built for software: GKC