GK

MaRDI QIDQ5973281swMATHFDO

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