GK

swMATH43906MaRDI QIDQ5973281

No author found.

Described by source

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

This page was built for software: GK