机译:保守限制语言最小推理问题的复杂性
Jagiellonian Univ Theoret Comp Sci Dept Fac Math &
Comp Sci Ul Lojasiewicza 6 PL-30348 Krakow;
Nonmonotonic reasoning; commonsense reasoning; circumscription; minimal inference problem; computational complexity; tractability; Schaefer's framework; algebraic approach;
机译:保守约束语言最小推理问题的复杂性
机译:保守约束语言最小推理问题的复杂性
机译:保守限制语言最小推理问题的复杂性
机译:保守约束语言的最小推理问题的复杂性
机译:第一语言语法复杂性能力及其对第二语言句法复杂性能力的影响
机译:儿童归纳推理中的本体论约束:来自动物和车辆中推理的比较的证据
机译:寻找模式语言联盟的最小推广及其在正数据归纳推理中的应用。