GKC

swMATH32359MaRDI QIDQ44070FDOQ44070

Author name not available (Why is that?)

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

Described by source

• GKC: a reasoning system for large knowledge bases

Cited In (2)

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

This page was built for software: GKC