咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 3 篇 revision program...
  • 2 篇 belief revision
  • 2 篇 database updates
  • 2 篇 annotated progra...
  • 2 篇 knowledge repres...
  • 1 篇 inconsistent dat...
  • 1 篇 active integrity...

机构

  • 3 篇 univ kentucky de...
  • 1 篇 univ calabria i-...

作者

  • 2 篇 truszczynski m
  • 2 篇 pivkina i
  • 2 篇 marek v
  • 1 篇 truszczynski mir...
  • 1 篇 caroprese lucian...

语言

  • 3 篇 英文
检索条件"主题词=revision programming"
3 条 记 录,以下是1-10 订阅
排序:
Active integrity constraints and revision programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第6期11卷 905-952页
作者: Caroprese, Luciano Truszczynski, Miroslaw Univ Calabria I-87030 Arcavacata Di Rende Italy Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commo... 详细信息
来源: 评论
Annotated revision programs
收藏 引用
ARTIFICIAL INTELLIGENCE 2002年 第1-2期138卷 149-180页
作者: Marek, V Pivkina, I Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
revision programming is a formalism to describe and enforce updates of belief sets and databases. That formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantif... 详细信息
来源: 评论
Annotated revision programs  5th
收藏 引用
5th International Conference on Logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Marek, V Pivkina, I Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
revision programming is a formalism to describe and enforce updates of belief sets and databases. That formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantif... 详细信息
来源: 评论