枯燥
发表于 2025-3-25 06:43:36
Negation in logic programming: A formalization in constructive logic,ver, it gives no easy or intuitive explanations for the treatment of negation. Logic Programming handles negation through the so-called “Negation as Failure” inference principle which is rather unconventional from the viewpoint of classical logic. Despite its nonclassical nature, this inference prin
FLEET
发表于 2025-3-25 09:32:05
http://reply.papertrans.cn/47/4656/465554/465554_22.png
眼界
发表于 2025-3-25 12:55:05
http://reply.papertrans.cn/47/4656/465554/465554_23.png
IVORY
发表于 2025-3-25 17:01:00
http://reply.papertrans.cn/47/4656/465554/465554_24.png
Grandstand
发表于 2025-3-25 22:33:32
An approach to DBS-based knowledge management,tigations that led to a DBS-based architecture for an effective and efficient management of large knowledge bases. This architecture, called KRISYS, is described, thereby concentrating on the mechanisms used to support the nearby application locality concept as well as to map knowledge structures on
lethargy
发表于 2025-3-26 02:20:18
Terminological reasoning and information management,urpose is to automatically determine the location of a new concept description (or object description) in a partially ordered set of given concepts. It seems to be a promising approach to apply the techniques developed in this area to the development of new object-based database models. The main adv
strdulate
发表于 2025-3-26 05:29:08
http://reply.papertrans.cn/47/4656/465554/465554_27.png
Thyroxine
发表于 2025-3-26 08:29:56
Information analysis: A step by step clarification of knowledge and requirements,nly sharing databases, but also other techniques for coupling applications. Using application architecture, we can design a rough picture of applications and databases for planning purposes for the whole or parts of an enterprise. We propose refinement of this basic picture for specific applications
失败主义者
发表于 2025-3-26 15:36:59
http://reply.papertrans.cn/47/4656/465554/465554_29.png
投票
发表于 2025-3-26 18:29:32
http://reply.papertrans.cn/47/4656/465554/465554_30.png