A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs.评价结果

评估详情

7