机译:模态和描述逻辑中的可操作规则语言,结合了CPDL和常规语法逻辑
Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam.,Institute of Informatics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland.;
机译:为串行正则语法逻辑构造正逻辑程序的有限最小Kripke模型
机译:通过一阶逻辑与逆语法确定正则语法逻辑
机译:语法逻辑和相关模态逻辑中正则性的复杂性
机译:组合描述逻辑,描述图和规则
机译:火灾:具有类似SWRL规则的OWL本体的基于描述逻辑的规则引擎
机译:第二语言习得中的多重语法和可学习性逻辑
机译:继承S4允许规则的模态逻辑的描述