人工智能, 推理, 知识表示, 语义学, 逻辑编程

稳定模型语义 (Stable Model Semantics)

, , , ,