姑姑在炫耀 发表于 2025-3-30 08:30:32
0302-9743 ions. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committ978-3-540-67797-0978-3-540-44957-7Series ISSN 0302-9743 Series E-ISSN 1611-3349忧伤 发表于 2025-3-30 12:32:42
Conference proceedings 2000nd Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committTraumatic-Grief 发表于 2025-3-30 19:28:17
https://doi.org/10.1007/3-540-44957-4Automat; Extension; automated deduction; knowledge; knowledge representation; logic; nonmonotonic reasonin独轮车 发表于 2025-3-31 00:21:47
http://reply.papertrans.cn/24/2327/232634/232634_54.png不满分子 发表于 2025-3-31 02:31:37
John Lloyd,Veronica Dahl,Peter J. StuckeyIncludes supplementary material:Harrowing 发表于 2025-3-31 06:09:46
http://reply.papertrans.cn/24/2327/232634/232634_56.pngAnhydrous 发表于 2025-3-31 12:11:29
http://reply.papertrans.cn/24/2327/232634/232634_57.png吞没 发表于 2025-3-31 15:50:24
http://reply.papertrans.cn/24/2327/232634/232634_58.pngRAFF 发表于 2025-3-31 20:26:21
http://reply.papertrans.cn/24/2327/232634/232634_59.png因无茶而冷淡 发表于 2025-4-1 00:27:43
http://reply.papertrans.cn/24/2327/232634/232634_60.png