机译:模型查找中的轻量字符串推理
AtlanMod, Ecole des Mines de Nantes-INRIA, Nantes, France;
AtlanMod, Ecole des Mines de Nantes-INRIA, Nantes, France;
Model instantiation; OCL; String constraints; Constraint logic programming; Constraint handling rules;
机译:从法律决策中提取和发现事实推理的模型的框架:疫苗/伤害项目语料库的教训
机译:在关系推理模型中寻找相似性
机译:当前的研究成果和新的设计模型轻质混凝土砌体填充料的验证
机译:OCL的轻量级字符串推理
机译:字符串约束的自动推理。
机译:抑郁症状和归纳推理表现:来自主动推理训练干预的发现
机译:模型查找中的轻量级字符串推理
机译:对字符串的约束推理