一再
发表于 2025-3-21 18:50:10
书目名称Automated Reasoning影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0166319<br><br> <br><br>书目名称Automated Reasoning读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0166319<br><br> <br><br>
话
发表于 2025-3-21 21:49:18
http://reply.papertrans.cn/17/1664/166319/166319_2.png
寻找
发表于 2025-3-22 01:22:33
http://reply.papertrans.cn/17/1664/166319/166319_3.png
BUST
发表于 2025-3-22 04:42:02
The Description Logic ,,, Extended with Concrete Domains: A Practically Motivated Approachestrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. . a so-called existential predicate restriction is provided. However, compared to . only features and no feature chains are allowed in
mendacity
发表于 2025-3-22 11:26:54
http://reply.papertrans.cn/17/1664/166319/166319_5.png
Lignans
发表于 2025-3-22 16:25:30
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logicsnd ABox reasoning for the description logics ALCNH.. and ALC(D). The advances are demonstrated by an empirical analysis using the description logic system RACE that implmenets TBox and ABox reasoning for ALCNH...
Gnrh670
发表于 2025-3-22 19:47:13
The Hybrid μ-Calculusevising a new, highly expressive ExpTime logic. The decision procedure is based on tree automata, and makes explicit the problems caused by nominals and how to overcome them. Roughly speaking, we show how to reason in a logic lacking the tree model property using techniques for logics with the tree
obtuse
发表于 2025-3-23 00:16:42
http://reply.papertrans.cn/17/1664/166319/166319_8.png
射手座
发表于 2025-3-23 02:21:46
Tableaux for Temporal Description Logic with Constant DomainsPTL (with the temporal operators ‘next-time’ and ‘until’) in order to design a terminating sound and complete tableau- based satisfiability-checking algorithm for the temporal description logic PTL. of [.] interpreted in models with constant domains. We use the method of quasimodels [.,.] to represe
Control-Group
发表于 2025-3-23 07:36:03
http://reply.papertrans.cn/17/1664/166319/166319_10.png