独轮车 发表于 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-cont

infringe 发表于 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.png

Frenetic 发表于 2025-4-1 17:54:15

http://reply.papertrans.cn/59/5881/588012/588012_64.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Logic for Programming, Artificial Intelligence, and Reasoning; 19th International C Ken McMillan,Aart Middeldorp,Andrei Voronkov Conference