Faulty logical theory repair; Max-Sat; Reformation; Belief revision; Abduction; Datalog theories; Automated theorem proving;
机译:最佳控制理论在市场营销中的应用:购物网站上的最佳选择数量是多少?
机译:基于最优理论的Central Kurdish自动化石墨 - 音素转换
机译:化学制表最佳过程变量自动选择的约束控制方法
机译:MAX-SAT的使用以获得自动化理论维修的最佳选择
机译:选择理论:选择理论协议对被确认为具有行为或情感残疾的学生在焦虑,抑郁,控制源和自尊方面的治疗效果的调查。
机译:定制阀门的阀门选择:现代选择及其最佳应用
机译:消费者选择中的最佳努力:二元选择的理论和实验分析