Martin von Berg, Arthur Sanin, Christoph Beierle. An implementation of nonmonotonic reasoning with c-representations using an SMT solver. Int. J. Approx. Reasoning, 175:109285, 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.