人工智能, 数据库, 计算机科学, 语义, 逻辑编程

稳固语义 (Well-founded semantics)

, , , ,