计算多值逻辑程序。

Lu、James J.、Calmet、Jacques和Schü，Joachim。“计算多值逻辑程序……”数学软件与软计算4.2 (1997): 129-153. <http://eudml.org/doc/39104>.

@第{Lu1997条，
abstract={有符号公式的逻辑可以用来推理各种各样的多值逻辑[Häh94b，LMR97]。基于有符号公式进行多值逻辑编程的形式理论基础在[Lu96]中进行了阐述本文是对这种签名逻辑程序的操作语义的研究。给出了符号逻辑编程与约束逻辑编程的联系，简要讨论了一般和特殊情况下的搜索空间问题，并分析了其在双值逻辑编程和真实维护中的应用。}，
作者={Lu，James J.，Calmet，Jacques，Schü，Joachim}，
journal={数学软件和软计算}，
keywords={Programación lógica；lógica-multivaluada；人工智能；签名；公式；操作语义；双值逻辑编程；真实维护}，
language＝{eng}，
数字={2}，
页面＝{129-153}，
title={计算多值逻辑程序。}，
url={http://eudml.org/doc/39104},
体积={4}，
年份={1997}，
}

TY-JOUR公司
AU-Lu，James J。
澳大利亚-Calmet，Jacques
约阿希姆·舒厄
计算多值逻辑程序。
JO-数学软件和软计算
1997年上半年
VL-4级
IS-2
SP-129
EP-153
AB-符号公式的逻辑可用于推理各种多值逻辑[Häh94b，LMR97]。[Lu96]中阐述了基于符号公式的多值逻辑编程的形式理论基础。本文对这种签名逻辑程序的操作语义进行了研究。给出了符号逻辑编程与约束逻辑编程的联系，简要讨论了一般和特殊情况下的搜索空间问题，并分析了其在双值逻辑编程和真实维护中的应用。
洛杉矶-eng
KW-计划学；多值逻辑；人工智能；Signatura；公式；操作语义；双值逻辑编程；真实维护
UR-（欧元）http://eudml.org/doc/39104
急诊室-