Constraint Satisfaction Problems; Rewriting Logic;
机译:Colette Bridgman:'威尔士的两个原型实践一直是耸人听闻的成功'
机译:包括原型求解器的认知规范(精致)的语言
机译:语言的分层和顺序处理:响应:丁,Melloni,Tian和Poeppel(2017)。 基于规则和基于词语级别的语言处理:神经科学的见解。 语言,认知和神经科学。
机译:COLETTE,使用基于规则的语言原型设计CSP求解器
机译:探索用于条款学习CSP解算器的两解架构
机译:临床疟疾诊断:基于规则的分类统计原型
机译:基于规则的语言的原型组合本体
机译:在XC和XE编程语言中结合基于规则和程序编程