您的位置： 专家智库 > >

陈寅

作品数：4 被引量：4H指数：2
供职机构：中山大学更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 2篇学位论文
  • 1篇期刊文章
  • 1篇专利

领域

  • 3篇自动化与计算...
  • 1篇理学

主题

  • 2篇语义
  • 2篇逻辑程序
  • 1篇亚胺
  • 1篇演绎数据库
  • 1篇医疗器械
  • 1篇证明论
  • 1篇知识表示
  • 1篇植入医疗器械
  • 1篇伤口
  • 1篇伤口敷料
  • 1篇视图
  • 1篇视图更新
  • 1篇数据库
  • 1篇数据库更新
  • 1篇水凝胶
  • 1篇器械
  • 1篇酰亚胺
  • 1篇马来酰亚胺
  • 1篇明胶
  • 1篇模型论

机构

  • 4篇中山大学

作者

  • 4篇陈寅
  • 1篇李磊
  • 1篇周建华

传媒

  • 1篇计算机科学

年份

  • 1篇2020
  • 1篇2005
  • 1篇2004
  • 1篇2001
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
综述:一般逻辑程序的证明论语义被引量：2
2004年
一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一。一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述,涉及到基于各种模型论语义的证明过程,并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较,最后给出了此问题进一步的一些研完方向。
陈寅李磊
关键词：逻辑程序证明论非单调推理知识表示语义模型论
逻辑程序的语义和强等价逻辑程序研究
逻辑程序是知识表示和非单调推理研究的重要领域。本文的研究背景是包含否定的逻辑程序。论文介绍了逻辑程序语义研究的现状，综述了过程性语义的研究，并给出了扩展逻辑程序的弱真模型。弱真模型扩展了扩展逻辑程序的回答集。每个扩展逻辑...
陈寅
关键词：逻辑程序
文献传递
数据库更新的理论与应用
数据库更新是目前演绎数据库研究的一个重要问题.该文给出了一个数据库更新的基本框架,定义了更新的三个层次:数据库更新事务、更新事务原子和EDB更新.该文定义了更新事务原子的溯因更新推导和约束维护来实现这个过程.这两个推导过...
陈寅
关键词：演绎数据库数据库更新视图更新
文献传递
一种水凝胶及其制备方法与应用
本发明提供了一种水凝胶及其制备方法与应用。该水凝胶为基于海藻酸盐和明胶分子交联的水凝胶，具有良好的生物相容性；在进一步通过马来酰亚胺化修饰海藻酸盐后，可使海藻酸盐与明胶分子的交联更紧密、稳定，从而在保证水凝胶的生物相容性...
陈寅周建华
文献传递
全选 清除 导出
共1页<1>
聚类工具0