Institute of Informatics, Federal University of Rio Grande do Sul, Brazil;
Institute of Informatics, Federal University of Rio Grande do Sul, Brazil;
Faculty of Informatics, Pontifical Catholic University of Rio Grande do Sul, Brazil;
机译:从程序执行到自动推理:将本体集成到编程语言中(Keynote)
机译:用归纳逻辑编程对Datalog±本体进行推理
机译:使用逻辑编程的模糊本体的描述和推理
机译:以代理为导向的编程本体推理
机译:PLACA,一种面向代理的编程语言。
机译:通过关系扩展上层本体和自动推理之间的生物医学本体之间的互操作性
机译:具有底层本体推理的面向代理的编程