我没有辱骂
发表于 2025-3-21 16:07:02
书目名称Logic Programming and Nonmonotonic Reasoning影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0587910<br><br> <br><br>书目名称Logic Programming and Nonmonotonic Reasoning读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0587910<br><br> <br><br>
ANT
发表于 2025-3-21 20:41:34
http://reply.papertrans.cn/59/5880/587910/587910_2.png
蜈蚣
发表于 2025-3-22 00:46:00
SHACL: A Description Logic in Disguise.. On the one hand, our answer is surprisingly simple, some might even say obvious. But, on the other hand, our answer is also controversial. By resolving this issue once and for all, we establish the field of description logics as the solid formal foundations of SHACL.
CHASE
发表于 2025-3-22 08:18:05
Emotional Reasoning in an Action Language for Emotion-Aware Planninghuman emotional states and transitions correspond to restrictive (safe) ways to influence emotions while reducing negative emotional side-effects. The introduced emotional reasoning can be applied to guide a software agent’s actions for dealing with emotions while estimating and planning future interactions with humans.
羽饰
发表于 2025-3-22 11:04:03
http://reply.papertrans.cn/59/5880/587910/587910_5.png
REP
发表于 2025-3-22 14:58:43
http://reply.papertrans.cn/59/5880/587910/587910_6.png
新奇
发表于 2025-3-22 18:28:47
Conference proceedings 2022Commons Attribution 4.0 International License via link.springer.com..Chapters “Statistical Statements in Probabilistic Logic Programming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com..
拱形大桥
发表于 2025-3-22 22:38:04
Statistical Statements in Probabilistic Logic Programmingay we refrain from making assumptions and we obtain a more neutral framework. We also propose an inference algorithm and compare it with an existing solver for probabilistic answer set programs on a number of programs of increasing size, showing that our solution is faster and can deal with larger instances.
nullify
发表于 2025-3-23 01:26:36
Metric Temporal Answer Set Programming over Timed Tracesslation of metric formulas into monadic first-order formulas and give a correspondence between their models in Metric Equilibrium Logic and Monadic Quantified Equilibrium Logic, respectively. Interestingly, our translation provides a blue print for implementation in terms of ASP modulo difference constraints.
Plaque
发表于 2025-3-23 09:21:44
http://reply.papertrans.cn/59/5880/587910/587910_10.png