Free University of Bozen-Bolzano, Italy;
Free University of Bozen-Bolzano, Italy;
Sapienza Universita di Roma;
Sapienza Universita di Roma;
Sapienza Universita di Roma;
Free University of Bozen-Bolzano, Italy;
机译:描述逻辑知识和行动基础
机译:描述逻辑知识和行动基础
机译:基于描述逻辑的知识表示,用于信息提取和查询处理
机译:验证基于知识的程序通过描述逻辑操作
机译:简单描述逻辑知识库中的保密保护推理
机译:使用抽象网络在补充描述生物医学术语中质量保证的描述逻辑 - 以Snomed CT为例
机译:通过描述逻辑操作验证基于知识的程序