要控制
发表于 2025-3-25 04:00:30
Structure and control of the L-LILOG Inference system,, i.e. knowledge about knowledge, which is also represented in L-LILOG II. This paper provides an overview of the inference system and describes the knowledge based control of reasoning in more detail.
Accommodation
发表于 2025-3-25 10:06:13
Sorts in qualitative reasoning,g models, although in the existing approaches only slight attention is pasid to this feature. So sorts can be used to guide the construction of composite models from primitive ones and to specify models.
sundowning
发表于 2025-3-25 13:10:24
Conference proceedings 1990wledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, kn
不可侵犯
发表于 2025-3-25 18:46:38
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/872008.jpg
ALIEN
发表于 2025-3-25 22:33:21
http://reply.papertrans.cn/88/8721/872008/872008_25.png
expeditious
发表于 2025-3-26 04:03:33
http://reply.papertrans.cn/88/8721/872008/872008_26.png
Merited
发表于 2025-3-26 05:11:11
http://reply.papertrans.cn/88/8721/872008/872008_27.png
蛛丝
发表于 2025-3-26 10:21:36
http://reply.papertrans.cn/88/8721/872008/872008_28.png
Haphazard
发表于 2025-3-26 16:37:54
http://reply.papertrans.cn/88/8721/872008/872008_29.png
faucet
发表于 2025-3-26 17:50:29
Advances in Computer Vision and Pattern Recognitionhttp://image.papertrans.cn/s/image/864602.jpg