hormone-therapy
发表于 2025-3-21 18:38:40
书目名称Logics in Artificial Intelligence影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588182<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588182<br><br> <br><br>
Spina-Bifida
发表于 2025-3-21 20:50:21
Exact Query Reformulation with First-Order Ontologies and Databasesdes an effective approach to construct the reformulation based on interpolation using standard theorem proving techniques (e.g., tableau). Since the reformulation is a safe-range formula, it is effectively executable as an SQL query. At the end, we present an application of the framework with . ontologies.
delta-waves
发表于 2025-3-22 01:22:25
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weightsnty (in the sense of belief). In this contribution we extend . by allowing to attach uncertainty weights to defeasible temporal rules and hence stratifying the set of defeasible rules in a program. Technically speaking, weights are modelled as necessity degrees within the frame of possibility theory, a qualitative model of uncertainty.
闪光东本
发表于 2025-3-22 05:15:13
0302-9743 rs, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.978-3-642-33352-1978-3-642-33353-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
古老
发表于 2025-3-22 11:58:11
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Modelsand the one where it is a metric. We show that in both cases the semantics can be equivalently specified in terms of preferential structures. Finally, we consider the relation of CSL with conditional logics and we provide semantics and axiomatizations of conditional logics over distance models with these properties.
CRAFT
发表于 2025-3-22 15:38:07
http://reply.papertrans.cn/59/5882/588182/588182_6.png
诱惑
发表于 2025-3-22 17:24:58
http://reply.papertrans.cn/59/5882/588182/588182_7.png
粗鲁的人
发表于 2025-3-22 22:28:46
http://reply.papertrans.cn/59/5882/588182/588182_8.png
PLUMP
发表于 2025-3-23 02:34:12
http://reply.papertrans.cn/59/5882/588182/588182_9.png
种族被根除
发表于 2025-3-23 05:42:17
http://reply.papertrans.cn/59/5882/588182/588182_10.png