大猩猩
发表于 2025-3-23 10:06:15
Extensions of Non-standard Inferences to Description Logics with Transitive Roles,al characterization of subsumption for DLs where existential and value restrictions can be imposed on transitive roles. We propose sound and complete algorithms to compute the least common subsumer (lcs).
JOT
发表于 2025-3-23 14:43:28
Moshe Y. Vardi,Andrei VoronkovIncludes supplementary material:
鸽子
发表于 2025-3-23 21:37:09
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588017.jpg
轻而薄
发表于 2025-3-24 00:41:25
http://reply.papertrans.cn/59/5881/588017/588017_14.png
palpitate
发表于 2025-3-24 03:05:31
http://reply.papertrans.cn/59/5881/588017/588017_15.png
Bone-Scan
发表于 2025-3-24 09:49:04
Computable Numberings,erties of classes of constructive objects fares best with the techniques and notions of the theory of computable numberings. The idea of using such numberings goes back to Gödel, who applied a computable numbering of formulas for embedding the metatheory of number theory into the theory of numbers.
商谈
发表于 2025-3-24 14:16:47
http://reply.papertrans.cn/59/5881/588017/588017_17.png
异端
发表于 2025-3-24 15:27:20
http://reply.papertrans.cn/59/5881/588017/588017_18.png
亲爱
发表于 2025-3-24 21:03:59
Logic for Programming, Artificial Intelligence, and Reasoning978-3-540-39813-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
oxidize
发表于 2025-3-25 01:36:05
0302-9743 Overview: Includes supplementary material: 978-3-540-20101-4978-3-540-39813-4Series ISSN 0302-9743 Series E-ISSN 1611-3349