生动
发表于 2025-3-21 16:15:27
书目名称Logics in Artificial Intelligence影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588185<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588185<br><br> <br><br>
Facet-Joints
发表于 2025-3-21 22:13:41
http://reply.papertrans.cn/59/5882/588185/588185_2.png
消极词汇
发表于 2025-3-22 00:29:18
Parametrized Logic Programminge show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.
EVICT
发表于 2025-3-22 08:21:20
http://reply.papertrans.cn/59/5882/588185/588185_4.png
Ptsd429
发表于 2025-3-22 12:39:33
http://reply.papertrans.cn/59/5882/588185/588185_5.png
看法等
发表于 2025-3-22 15:55:40
A Logical Semantics for Description Logic Programsducts. Here we extend the concept of .-model to encompass dl-programs. As an application we characterise some logical relations between dl-programs, by mating the idea of .-equivalence with the concept of query inseparability taken from description logics.
spinal-stenosis
发表于 2025-3-22 18:19:13
http://reply.papertrans.cn/59/5882/588185/588185_7.png
engagement
发表于 2025-3-22 23:50:44
Decomposition of Distributed Nonmonotonic Multi-Context Systems be minimized. We then present a novel evaluation algorithm that operates on a query plan which is compiled with topology pruning and interface minimization. The effectiveness of the optimization techniques is demonstrated by a prototype implementation, which uses an off-the-shelf SAT solver and shows encouraging experimental results.
GEST
发表于 2025-3-23 02:29:17
A Normal Form for Linear Temporal Equilibrium Logica set of implications (embraced by a necessity operator) quite close to logic program rules. This normal form may be useful both for a practical implementation of TEL and a simpler analysis of theoretical problems.
祖先
发表于 2025-3-23 09:21:07
http://reply.papertrans.cn/59/5882/588185/588185_10.png