nonmonotonic reasoning; formal specification; grammars; default reasoning; inconsistency discovery; natural language requirements; logic; requirements elicitation; natural language parsing techniques; CARL;
机译:自然语言要求不一致的推理
机译:通过自然语言需求中的聚类技术检测逻辑不一致
机译:自然语言要求的术语不一致分析
机译:使用默认推理发现自然语言要求中的不一致之处
机译:基于自然语言数据的智能推理:非公理推理系统方法。
机译:自然语言隐喻暗中影响推理
机译:使用默认推理发现自然语言要求中的不一致之处