raff淫雨霏霏
发表于 2025-3-21 17:15:45
书目名称Declarative Programming and Knowledge Management影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0264381<br><br> <br><br>书目名称Declarative Programming and Knowledge Management读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0264381<br><br> <br><br>
Truculent
发表于 2025-3-21 21:38:33
Run-Time Analysis of Temporal Constrained Objectsthe underlying constraint solving methods. We address this problem by extracting a run-time trace of the execution of a TCOB program and providing an analysis of the cause of error. The run-time trace also serves as a basis, in many cases, for constructing a finite-state machine which in turn can be
好色
发表于 2025-3-22 03:56:59
http://reply.papertrans.cn/27/2644/264381/264381_3.png
HILAR
发表于 2025-3-22 06:25:38
http://reply.papertrans.cn/27/2644/264381/264381_4.png
清晰
发表于 2025-3-22 12:01:48
Implementation of Logical Retraction in Constraint Handling Rules with Justificationssented a straightforward source-to-source transformation to implement this conservative extension. In this companion paper, we improve the performance of the transformation. We discuss its worst-case time complexity in general. Then we perform experiments. We benchmark the dynamic problem of maintai
钻孔
发表于 2025-3-22 15:36:07
The Proportional Constraint and Its Pruningefore rounding is used within its definition. For practical applications in finite domain Constraint Programming, pruning rules are presented and their correctness is proven. Further, it is shown by examples that the number of iterations necessary to reach a fixed-point while pruning depends on the
钻孔
发表于 2025-3-22 17:59:08
An Operational Semantics for Constraint-Logic Imperative Programming data and operations working on them, as well as due to their support of inheritance. However, in contrast to constraint-logic languages, they are not particularly suited for solving search problems. During development of enterprise software, which occasionally requires some search, one option is to
留恋
发表于 2025-3-23 01:04:33
http://reply.papertrans.cn/27/2644/264381/264381_8.png
存心
发表于 2025-3-23 03:29:27
Declarative Aspects in Explicative Data Mining for Computational Sensemakingsights and enhance understanding for supporting subsequent intelligent actions. Understandability and interpretability are key elements of that process as well as models and patterns captured therein. Here, . helps to include guiding knowledge structures into the process, while . provides interpreta
mechanism
发表于 2025-3-23 05:31:48
An Approach for Representing Answer Sets in Natural Language process, often it would be desirable to have a natural-language representation of answer sets, e.g., when dealing with domain experts unfamiliar with ASP. In this paper, we address this point and provide an approach for such a representation, defined in terms of a controlled natural language (CNL),