University of Lleida Lleida Spain;
Universidad Nacional del Sur Argentina;
AI Research Institute Bellaterra Spain;
机译:用于可能论证的逻辑编程框架:形式化和逻辑属性
机译:基于论证的决策的可行可行逻辑编程方法
机译:在逻辑编程设置中对具有可能不确定性的自变量应计进行建模
机译:含模糊知识的可能性论证的逻辑编程框架
机译:解析逻辑的逻辑编程框架。
机译:促进向以人口为基础的公共卫生计划的转变:通过使用框架和逻辑模型工具进行创新
机译:用于可能论证的逻辑编程框架:形式化和逻辑属性