Coenzyme
发表于 2025-3-21 19:11:54
书目名称Applications of Declarative Programming and Knowledge Management影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0159368<br><br> <br><br>书目名称Applications of Declarative Programming and Knowledge Management读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0159368<br><br> <br><br>
古代
发表于 2025-3-21 21:38:31
Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resourceor the constraints within such constraint optimization problems, in particular for the constraints representing the objectives to be optimized, will result in faster convergence of branch & bound algorithms..This paper presents new pruning rules for linear weighted (task) sums where the summands are
Ostrich
发表于 2025-3-22 03:01:16
Efficient Edge-Finding on Unary Resources with Optional Activitiesin constraint programming environments. Often it depends on external factors if an activity will be included in the final schedule, making the activity optional. Currently known edge-finding algorithms cannot take optional activities into account. This paper introduces an edge-finding algorithm that
Blood-Vessels
发表于 2025-3-22 05:09:45
http://reply.papertrans.cn/16/1594/159368/159368_4.png
态学
发表于 2025-3-22 11:41:35
Constraint-Based Timetabling System for the German University in Cairoess. In this paper, we introduce the course and examination timetabling problems at the German University in Cairo. As manual generation of schedules is time-consuming and inconvenient, we show how these problems can be modeled as constraint satisfaction problems and can be solved using SICStus Prol
puzzle
发表于 2025-3-22 15:57:01
http://reply.papertrans.cn/16/1594/159368/159368_6.png
auxiliary
发表于 2025-3-22 20:11:12
Relational Models for Tabling Logic Programs in a Databasehat compute large and/or many answers, memory exhaustion is a potential problem. In such cases, table deletion is the most common approach to recover space. In this work, we propose a different approach, storing tables into a relational database. Subsequent calls to stored tables import answers from
结束
发表于 2025-3-23 01:00:21
Integrating XQuery and Logic Programming program. This logic program represents the document schema by means of rules and the document itself by means of facts. Now, XQuery expressions can be integrated into logic programming by considering a translation (i.e. encoding) of . expressions by means of logic rules and a goal.
FEIGN
发表于 2025-3-23 03:29:22
Causal Subgroup Analysis for Detecting Confounding by generating an extended causal subgroup network utilizing background knowledge. Using the links within the network we can identify relations that are potentially confounded by external (confounding) factors. In a semi-automatic approach, the network and the discovered relations are then presented
LAP
发表于 2025-3-23 06:08:36
Using Declarative Specifications of Domain Knowledge for Descriptive Data Miningproach for providing domain knowledge in a .: We utilize a Prolog knowledge base with facts for the specification of properties of ontological concepts and rules for the derivation of further ad-hoc relations between these concepts. This enhances the ., ., and . of the applied knowledge. Furthermore