您好、欢迎来到现金彩票网!
当前位置:如意彩票 > 非单调推理 >

计算机自动推理——它的兴起萧条与复兴

发布时间:2019-06-06 10:35 来源:未知 编辑:admin

  王超男;基于扩展Petri网的PPCES建模研究与实现[D];哈尔滨理工大学;2003年

  毛宁,刘霞,林洁瑜;关于M类机器的非流水复杂作业排序问题的一种启发式算法[J];工程数学学报;1996年02期

  赵天奇,陈禹六,李培根;FMS统一建模技术与方法[J];高技术通讯;2000年05期

  刘晓霞;基于Petri网知识库维护方法的实现[J];航空计算技术;1997年03期

  蒋昌俊;Petri网理论与方法研究综述[J];控制与决策;1997年06期

  乔非,吴启迪,严隽薇;带决策的扩展Petri网及其在FMS中的应用[J];同济大学学报(自然科学版);1995年01期

  王化冰;一种基于同步合成Petri网的FMS建模方法[J];系统工程理论与实践;2001年02期

  刘家学,黄德成;多指标决策的最优线性分派法[J];系统工程与电子技术;2000年07期

  刘晓霞;基于Petri网知识库维护方法的实现[J];小型微型计算机系统;2002年07期

  黄婉珍,唐国春;分支定界法求解最小带权误工工件数排序[J];应用数学学报;1992年02期

  王太忠;王朝辉;;正确认识和科学发展归纳逻辑[J];文教资料;2011年26期

  盛作国;胡红;;情报推理的逻辑理论工具——制约逻辑在情报科学中的应用[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

  费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年

  朱福喜;余振坤;;用XML进行次协调推理[A];逻辑与认知学术研讨会会议论文集[C];2004年

  张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

  汪学明;;制约逻辑与计算机科学相关问题的探讨[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

  王建芳;;逻辑在人工智能科学中的应用与前景[A];1994年逻辑研究专辑[C];1994年

  陈波;;从《哲学逻辑手册》(第二版)看当代逻辑的发展趋势[A];小康社会:文化生态与全面发展——2003学术前沿论坛论文集[C];2004年

  武宏志;;逻辑教科书的新视角和新面貌——沃尔顿新教科书《批判性论辩原理》评介[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

  王雨田;;当前的逻辑教学科研向何处去?[A];1993年逻辑研究专辑[C];1993年

  任晓明;崔清田;;逻辑多元论与逻辑在人文科学中的应用研究——兼谈《次协调逻辑与人工智能》[A];2003年逻辑研究专辑[C];2003年

  刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

  马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

  王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年

http://mj-sports.net/feidandiaotuili/288.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有