GK

swMATH43906MaRDI QIDQ5973281FDOQ5973281

Author name not available (Why is that?)

Official website: https://logictools.org/gk/

Described by source

• GK: implementing full first order default logic for commonsense reasoning (system description)

Cited In (4)

• SQuARE
• DeReS
• GKC
• Stanza

This page was built for software: GK