马丁·奥列特，纳西索；何塞·梅塞盖尔 重写逻辑中的操作和更改。 （英语） Zbl 0930.03028号 Pareschi，Remo（编辑）等人，《动态世界》。从框架问题到知识管理。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。12, 1-53 (1999). 解释了重写逻辑的句法、演绎规则和模型理论。由于在本文中的示例中使用了Maude语言和MaudeLog语言，因此对它们进行了简要介绍。给出了一系列规划示例和解决方案，并说明了如何在重写逻辑中表达它们。给出了从线性逻辑到等式Horn逻辑到重写逻辑的映射。它还显示了并发面向对象系统是如何在重写逻辑中自然表示的。通过重写逻辑，为框架问题提供了一个完全令人满意的解决方案，包括通常难以处理的问题的剩余部分。关于整个系列，请参见[Zbl 0913.00018号].审核人：D.Gruska（布拉迪斯拉发） 引用于5文件 MSC公司： 03B60号 其他非经典逻辑 2012年第68季度 语法和重写系统 03B70号 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68立方英尺 知识表示 68T27型 人工智能中的逻辑 关键词：重写逻辑；框架问题；规划问题；莫德；MaudeLog公司；线性逻辑；带等式的喇叭逻辑；并行面向对象系统 软件：莫德 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}和\textit{J.Meseguer}，应用。日志。序列号。12、1--53（1999；Zbl 0930.03028）