机译:默认逻辑之间的双射忠实翻译
Dipartimento di Ingegneria Informatica, Automatica e Gestionale, Universita di Roma La Sapienza, Via Ariosto 25, 00185, Rome, Italy;
Default logic; non-monotonic reasoning; computational complexity; knowledge representation; prepositional logic;
机译:从实体关系模式到描述逻辑的忠实转换ALεNI_+
机译:从实体关系模式到描述逻辑ALENI +的忠实转换
机译:在默认逻辑中表达默认逻辑变体
机译:信仰的力量或将默认逻辑转化为标准的自动血对逻辑
机译:忠实的小说:翻译玛格丽特·德·纳瓦拉,玛德琳·德·库奇里和弗朗索瓦·德·格拉菲尼的作品中的友谊
机译:完整的大鼠脊髓横断作为转化细胞移植脊髓损伤的忠实模型
机译:默认逻辑中的双向忠实翻译