Carcinogen
发表于 2025-3-30 09:14:29
http://reply.papertrans.cn/59/5879/587900/587900_51.png
Phagocytes
发表于 2025-3-30 15:54:17
http://reply.papertrans.cn/59/5879/587900/587900_52.png
Pessary
发表于 2025-3-30 17:21:47
Polymorphic type inference in Prolog by abstract interpretation,sary and relevant information without waste. The monomorphic type inference method is extended to polymorphic types by introducting parameterized type definitions and generalizing operations for manipulating type information accordingly.
Hearten
发表于 2025-3-30 21:33:27
http://reply.papertrans.cn/59/5879/587900/587900_54.png
COWER
发表于 2025-3-31 02:59:06
Generating natural language responses appropriate to conversational situations - in the case of Japse sentences and consider how people decide to add such features to their sentences depending on situational factors. Then we will show brief methods of deciding how to add suitable surface features to sentences in suitable situations. Finally, we will show an implementation of a conversational system which adopts these methods.
Limousine
发表于 2025-3-31 08:43:26
An approach to speeding up the Prolog-based inference engine KORE/IE,d realize the flexible rule expressions, we take advantage of a speedy refutation mechanism, partial evaluation techniques and fast searching for heads of clauses. At present, KORE/IE is implemented on C-Prolog and Quintus Prolog, and its efficiency of inferences is comparable with that of OPS5 on Franz Lisp.
encyclopedia
发表于 2025-3-31 09:15:46
http://reply.papertrans.cn/59/5879/587900/587900_57.png
AORTA
发表于 2025-3-31 17:21:38
http://reply.papertrans.cn/59/5879/587900/587900_58.png
跟随
发表于 2025-3-31 17:49:37
http://reply.papertrans.cn/59/5879/587900/587900_59.png
珍奇
发表于 2025-3-31 22:07:10
http://reply.papertrans.cn/59/5879/587900/587900_60.png