ironic 发表于 2025-3-30 11:36:03

http://reply.papertrans.cn/59/5880/587913/587913_51.png

凹处 发表于 2025-3-30 15:18:16

http://reply.papertrans.cn/59/5880/587913/587913_52.png

extract 发表于 2025-3-30 20:01:58

http://reply.papertrans.cn/59/5880/587913/587913_53.png

Basal-Ganglia 发表于 2025-3-30 21:54:35

http://reply.papertrans.cn/59/5880/587913/587913_54.png

万灵丹 发表于 2025-3-31 01:47:24

Michael Dekhtyar,Alexander Dikovsky,Sergey Dudakov,Nicolas Spyratos

reflection 发表于 2025-3-31 06:45:02

José Júlio Alferes,Luís Moniz Pereira,Halina Przymusinska,Teodor C. Przymusinski

石墨 发表于 2025-3-31 10:33:53

http://reply.papertrans.cn/59/5880/587913/587913_57.png

善于 发表于 2025-3-31 15:18:09

http://reply.papertrans.cn/59/5880/587913/587913_58.png

美学 发表于 2025-3-31 21:05:12

LUPS — A Language for Updating Logic Programsin of actions, what are the appropriate sequences of programs that represent the performed actions and their effects? Whereas dynamic logic programming provides a way for determining what should follow, given the sequence of programs, it does not provide a good practical language for the specificati

流出 发表于 2025-3-31 21:39:39

http://reply.papertrans.cn/59/5880/587913/587913_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Logic Programming and Nonmonotonic Reasoning; 5th International Co Michael Gelfond,Nicola Leone,Gerald Pfeifer Conference proceedings 1999