会议论文《具有两种否定的描述逻辑系统MALC》发表于2008年全国理论计算机科学学术年会。该文提出了一种新的描述逻辑系统MALC，引入了两种不同的否定方式，以增强逻辑表达能力和推理灵活性。研究探讨了该系统的语法、语义及推理机制，为知识表示与推理提供了新的理论基础。
文档为pdf格式，0.25MB，总共4页。
举报
