论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室吉林长春120023,吉林长春130012
【出 处】
：
广西师范大学学报：自然科学版
【发表日期】
：
2003年A01期
【基金项目】
：
国家自然科学基金资助项目(60073039),吉林省自然科学基金资助项目(2000540)
其他文献
<正> 膀胱癌是常见的泌尿系肿瘤,90%以上为移行细胞癌,多呈乳头状生长,具有多灶性及易于复发的特点;6%～8%是鳞状上皮细胞癌,1%～2%是腺癌;肉瘤不到1%。膀胱癌占男性肿瘤的6%,女
期刊
面对一种普通的灾难,作者以其灵敏的嗅觉真实地反映了非典时期的非典型心理,轻松幽默的语言透露出作者从容的心态,并向读者放射出一种笑对生活的积极态度。
<正> 我院1982年1月至1988年12月间收治老年人胆道疾患引起心脏症状及心电图改变而在院外误诊为冠心病27例,报告如下。临床资料本组男23例,女4例。年龄60～65岁,经 B 超与手术
强流离子束在国防和国民经济领域中有着极其重要的广泛的应用和发展前景.特别是强流加速器驱动的放射性洁净核能系统,比常规核电更安全、更干净、更便宜,成为20世纪90年代以
档案的两大功能就是记录和服务.记录就是真实地、全面地将当时发生事务或者创造的物品保存下来,服务就是将档案记录信息利用于社会,以实现档案其自身价值,从而完成档案的社会
前方障碍: 写作文时,同学们常常遇到这样的情况,在叙述或描写某件事、某个人的时候,尽管心里构思得好好的,可就是找不到恰当的词语来表达。这可怎么办
提出了一个新的基于优先度的人工生命体行为选择模型.新的模型是一个基于内部动机和外部刺激之上的不严格的行为选择分级模型,它克服了执行严格定性分级的行为选择模型难以模
作为信息资源的重要组成部分,外语音像资料在高校图书馆馆藏中占有一定比例,它在传递信息、增长知识、文化娱乐以及陶冶读者情操等方面越来越显示出不可替代的作用.当前,随着