GKC

MaRDI QIDQ44070swMATHFDO

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

This page was built for software: GKC