Intellectual
发表于 2025-3-26 22:37:41
http://reply.papertrans.cn/59/5880/587902/587902_31.png
carbohydrate
发表于 2025-3-27 02:14:01
http://reply.papertrans.cn/59/5880/587902/587902_32.png
Circumscribe
发表于 2025-3-27 05:17:49
Time-bounded reasoning in first order knowledge base systems,e properties of the knowledge base management system based on our time-bounded reasoning. We also show that the time-bounded reasoning is sound and valid. Furthermore, we discuss the selection of time functions and give three parameters of time functions. We also outline a prototype system we have realized in K-prolog on a Sun-3.
refine
发表于 2025-3-27 13:16:16
Elementary formal system as a logic programming language,as failure rule complete. We give two conditions of EFS‘s such that the negation as failure rule is identical to the closed world assumption. We also give a subclass of EFS‘s where a procedure of CWA is given as bounding the length of derivations We compare these classes with the Chomsky hierarchy.
EXALT
发表于 2025-3-27 14:01:46
http://reply.papertrans.cn/59/5880/587902/587902_35.png
BALK
发表于 2025-3-27 21:20:01
Logic design assistance using temporal logic based language Tokio, the register transfer level are given in the same language: Tokio. This is one of the most outstanding characteristics. In this paper, we mainly present a data path verifier at the register transfer level. This verifier is a core part of the assistance system.
Gene408
发表于 2025-3-28 01:32:22
http://reply.papertrans.cn/59/5880/587902/587902_37.png
直言不讳
发表于 2025-3-28 04:38:15
http://reply.papertrans.cn/59/5880/587902/587902_38.png
Expurgate
发表于 2025-3-28 08:30:44
Table-driven Bottom Up Parser in Prolog,ammars. The nondeterminism caused by the extension can be managed through the backtracking in the same way as the original BUP. We also present an implementation and experimental results from a practical-sized grammar with 560 production rules.
Confirm
发表于 2025-3-28 10:46:21
http://reply.papertrans.cn/59/5880/587902/587902_40.png