A characterization of answer sets for logic programs

来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:qinqincy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
20 0 3年 8月 2 2日至 9月 19日 ,黑龙江省美协举办了黑龙江省首届岩彩画高级研究班 ,目的在于通过学习一个新的画种 ,把新的技术、新的理念融入我省的美术创作当中 ,进一步
期刊
激光雷达、激光先进制造、科学研究等方面对100 Hz高光束质量高能激光有着重要的需求。国际上超过5 J的100 Hz高光束质量全固态激光器主要是采用大尺寸板条状Nd∶YAG晶体,我
近些年来重大灾害导致的大规模侵权事件中,很多国家都选择了基金赔偿模式来解决对受害民众的赔偿问题并恢复正常的生产、生活秩序,而其他一些国家则由政府主导进行救济和赔偿。
为更好的贯彻与落实人民法院“调解优先,调判结合”的工作原则。根据形势任务发展变化,总结审判工作经验,践行工作原则,实现人民法院民事审判工作原则的与时俱进。浙江省湖州市南
本文从培养独立学院学生英语应用能力出发,以Swain的“语言输出”理论为基础,探讨大学英语教学中融入演讲教学的可行性,得出这种教学模式不仅激发了学生的英语学习热情,而且
A complementary DNA (cDNA) encoding human hepatocyte growth factor was intro-duced into a replication-defective type 5 adenovirus (lacking E1, E3 domains) vecto
金寨县地处大别山腹地、鄂豫皖三省结合部,是中国革命的重要策源地、人民军队的重要发源地,也是中国工农红军第一县、全国第二将军县.rn一直以来,党中央、国务院对老区人民十
期刊
市场经济条件下的艺术设计直接为现代社会和生活服务。随着我国市场经济的不断发展和经济全球化进程的提速,设计逐渐成为提高和增强企业市场综合竞争力的根本保证。作为一门
新世紀以來,詞學研究最突出的變化,如果用一個關鍵詞來形容,可説是「格局」大變.重唐宋詞而輕金元明清詞的研究格局,已發生明顯的變化首先,從夏承燾詞學獎獲獎成果的變化來看