Universitat Politecnica de Catalunya Dept. Llenguatges I Sistemes Informatics C/ Jordi Girona Salgado 1-3 E - 08034 Barcelona;
Institut de Recherche en Informatique Toulouse (IRIT) Universite Paul Sabatier 118 Route de Narbonne 31062 Toulouse Cedex 9, Prance;
Universitat Politecnica de Catalunya Dept. Llenguatges I Sistemes Informatics C/ Jordi Girona Salgado 1-3 E - 08034 Barcelona;
机译:不合理的逻辑与没有否定失败的逻辑编程
机译:否定失效逻辑程序的最小模型语义
机译:将否定作为失败与逻辑程序中的嵌入式含义相结合
机译:在逻辑编程中处理异常,没有否定作为失败
机译:用于科学工作流监控和异常处理的模型,语言和算法
机译:云环境中隐私保护服务推荐失败的异常处理方法
机译:不合理的逻辑与没有否定失败的逻辑编程
机译:逻辑规划与否定:一项调查