GK

swMATH43906MaRDI QIDQ5973281FDOQ5973281

Author name not available (Why is that?)

Described by source

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

This page was built for software: GK