computational logic; abduction; propositional logic; Horn theories; polynomial total time computation; NP-hardness;
机译:从命题角理论计算所有归纳解释
机译:从不一致的理论中产生归纳解释
机译:“使用Cattell-Horn-Carroll理论的模型对整个开发过程中的阅读理解的解释:对阅读综合模型的支持”(社论)
机译:生成对命题牛角理论查询的所有归纳解释
机译:寻求解释:绑架逻辑,科学哲学和人工智能。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:生成对命题牛角理论查询的所有归纳解释
机译:模拟时间诱导性解释。