PulseAugur
中
实时 11:37:15
实体 Raymond Reiter

Raymond Reiter

PulseAugur coverage of Raymond Reiter — every cluster mentioning Raymond Reiter across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_94169 ·

    新的情境演算方法处理产生义务的行为

    本文在情境演算框架内引入了一种新颖的方法来解决产生义务的行为的框架问题。这类行为，例如开门后关门，会给执行这些行为的代理人带来义务。所提出的解决方案简化了在义务逻辑语义中使用的可访问性关系的现有描述，并与克里普克风格的可能世界语义保持一致。该工作扩展了基本动作理论和回归算子以适应这些产生义务的行为，确保义务除非被明确解除，否则会持续存在。