独轮车 发表于 2025-4-1 02:00:42
Description Logics, Rules and Multi-context Systems,hieve this goal. In this paper, we look at two of these formalisms, Mdl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs. Despite this, we show that every Mdl-program can be transformed in a multi-continfringe 发表于 2025-4-1 08:51:15
http://reply.papertrans.cn/59/5881/588012/588012_62.png逃避现实 发表于 2025-4-1 12:56:52
http://reply.papertrans.cn/59/5881/588012/588012_63.pngFrenetic 发表于 2025-4-1 17:54:15
http://reply.papertrans.cn/59/5881/588012/588012_64.png