Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming

Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming
复制标题

非单调推理和逻辑编程的三值形式化

DOI：
--
复制
发表时间：
1989
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
通讯作者：
Teodor C. Przymusinski
Teodor C. Przymusinski
中科院分区：
--
文献类型：
--
作者：
Teodor C. Przymusinski

文献摘要

被引文献

相似文献