×
伊曼纽尔·库纳利斯;迈克尔·鲁西诺维奇

关于霍恩理论中的单词问题。 （英语） Zbl 0723.68100号

J.塞姆。计算。 11，编号1-2，113-127（1991）.
小结：我们将Horn子句解释为条件重写规则。然后我们给出了充分的条件，使得一些Horn理论中的条件归一化可以决定单词roblem。我们还展示了如何证明霍恩理论初始模型中的定理。

引用于10文件

MSC公司：

第68页第27页 人工智能中的逻辑
03D40号 可计算性和递归理论中的单词问题等
2012年第68季度 语法和重写系统

关键词：

喇叭逻辑;条件重写规则;单词问题
PDF格式BibTeX公司 XML格式引用
\textit{E.Kounalis}和\textit{M.Rusinovitch}，J.Symb。计算。11，编号1--2，113-127（1991；Zbl 0723.68100）
全文： 内政部

参考文献：

[1] Goguen，J.A。；撒切尔，J.W。；Wagner，E.G.，《抽象数据类型规范、正确性和实现的初始代数方法》（Yeh，R.，《编程方法学的当前趋势》，第4卷（1978年），Prentice-Hall），80-149
[2] 巴赫迈尔，L。；北卡罗来纳州德肖维茨。；Plaisted，D.，《无故障完成》（Proc.Coll.on Resolution of Equations in Algebraic Structures）
[3] Dershowitz，N.，终止，计算机科学课堂讲稿，202180-224（1985），in:重写技术与应用·Zbl 0581.68031号
[4] Fribourg，L.，SLOG：一种基于子句叠加和重写的逻辑编程语言解释器，（1985年逻辑编程研讨会论文集。1985年逻辑编程研讨会论文集，马萨诸塞州波士顿（1985）），172-184
[5] Ganzinger，H.，参数条件方程规范中的基本项汇合，（第四届计算机科学理论方面研讨会论文集。第四届计算科学理论方面会议论文集，帕绍，RFA（1987））·Zbl 0612.68020号
[6] J.戈根。；Meseguer，J.，Eqlog:逻辑编程的等式、类型和遗传模块，逻辑编程杂志，1179-210（1984）·Zbl 0575.68091号
[7] Xiang，J。；Rusinovitch，M.，《方程理论中的单词问题》（Ottmann，Th.，《第十四届自动控制、语言和编程国际学术讨论会论文集》，德国卡尔斯鲁厄，267（1987）），计算机科学讲稿·Zbl 0625.68068号
[8] Huet，G.，《汇流约简：抽象属性及其在术语重新书写系统中的应用》，JACM，27797-821（1980）·Zbl 0458.68007号
[9] Jouannaud，J.P。；Kounalis，E.，《无构造器的等式理论中归纳法的自动证明》，（计算机科学中逻辑专题讨论会论文集，马萨诸塞州坎布里奇，1986年），358-366
[10] Jouannaud，J.P。；Waldmann，B.，《约化条件项重写系统》（第三届IFIP大会关于编程概念形式化描述的讨论）
[11] 卡普兰，S.，《简化条件项重写系统：统一，终止合流》，J.符号补偿。，4, 295-334 (1987) ·Zbl 0641.68046号
[12] Knuth，D。；Bendix，P.（Leech，J.，抽象代数中的简单单词问题（1970），佩加蒙出版社），263-297·Zbl 0188.04902号
[13] 库纳利斯，E。；Rusinovitch，M.，《霍恩理论中的词汇问题》（Jouannaud，J.P.；Kaplan，S.，《第一届条件词改写国际研讨会论文集》，奥赛（法国），308（1987）），144-160，计算机科学讲稿·兹伯利0666.03011
[14] 库纳利斯，E。；Rusinovitch，M.，机械化归纳推理，理论计算机科学协会公报，31216-226（1990）·Zbl 0744.68114号
[15] Küchlin，W.，基于广义纽曼引理的汇合准则，（Caviness，B.，《欧洲学报》，204（1985）），390-399，计算机科学讲义·Zbl 0579.68027号
[16] Padawitz，P.，Horn子句规范：抽象数据类型和逻辑编程的统一框架，（MIP-8516（1985），Universitat Passau）
[17] Plotkin，G.，《内建方程理论》（Meitzer，B.；Mitchie，D.，《机器智能》，第7卷（1972），美国爱思唯尔：美国爱思惟尔纽约），73-90·Zbl 0262.68036号
[18] Reiter，R.，《关于封闭世界数据库》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978），阻燃出版社：纽约阻燃出版社），55-76
[19] Remy，J.L.，Etude des systèmes de réée criteria conditionnelle et applications aux types abstraits algébriques，（托塞·埃塔特（1982），国际公共图书馆：I.N.P.L.南希）
[20] Rusinovitch，M.，用分解和叠加证明定理，J.符号比较。，11, 21-49 (1991) ·Zbl 0723.68094号
[21] Tarlecki，A.，代数机构中的自由构造，（布拉格计算机科学数学基础国际研讨会论文集，176（1989）），526-534，计算机科学讲稿
[22] 沃斯，L.T。；Robinson，G.A.，《一阶等式理论中的仿调制和定理证明》，（机器智能，第4卷（1969年），美国爱思唯尔出版社：美国爱思惟尔出版社，纽约），135-150·Zbl 0219.68047号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。