The alternating fixpoint of logic programs with negation 论文

1989引用 372
DOIPDF
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

The alternating fixpoint of logic programs with negation · 相关技术

暂无数据