Skip to content

The Minimal Negated Model Semantics of Assumable Logic Programs.

Shutao Zhang, Zhizheng Zhang

VenueCKSEM
Year2023
ProceedingsKSEM (3)

Browse the full KSEM paper archive.