Skip to content

A method for automated generation of inference rules.

Sergey Gorshkov

VenueCCoDIT
Year2018
ProceedingsCoDIT

Browse the full CoDIT paper archive.