MORT 发表于 2025-3-28 15:37:52

http://reply.papertrans.cn/16/1594/159368/159368_41.png

故意 发表于 2025-3-28 21:21:32

https://doi.org/10.1007/978-3-319-91280-6o a modular extension of LP such that the usage of a module is influenced by temporal conditions. Besides illustrative examples we also provide an operational semantics together with a compiler, allowing this way for the development of applications based on such language.

使残废 发表于 2025-3-29 00:37:56

Efficient Edge-Finding on Unary Resources with Optional Activitiesy optional. Currently known edge-finding algorithms cannot take optional activities into account. This paper introduces an edge-finding algorithm that finds restrictions for enabled . optional activities. The performance of this new algorithm is studied for modified job-shop and random-placement problems.

可触知 发表于 2025-3-29 03:23:53

Causal Subgroup Analysis for Detecting Confoundingre potentially confounded by external (confounding) factors. In a semi-automatic approach, the network and the discovered relations are then presented to the user as an intuitive visualization. The applicability and benefit of the presented technique is illustrated by examples from a case-study in the medical domain.

hair-bulb 发表于 2025-3-29 10:16:47

http://reply.papertrans.cn/16/1594/159368/159368_45.png

罗盘 发表于 2025-3-29 13:27:03

Integrating Temporal Annotations in a Modular Logic Languageo a modular extension of LP such that the usage of a module is influenced by temporal conditions. Besides illustrative examples we also provide an operational semantics together with a compiler, allowing this way for the development of applications based on such language.

Musket 发表于 2025-3-29 18:54:32

http://reply.papertrans.cn/16/1594/159368/159368_47.png

喃喃而言 发表于 2025-3-29 20:02:38

http://reply.papertrans.cn/16/1594/159368/159368_48.png

僵硬 发表于 2025-3-30 03:41:26

http://reply.papertrans.cn/16/1594/159368/159368_49.png

惊呼 发表于 2025-3-30 07:10:42

978-3-642-00674-6Springer-Verlag Berlin Heidelberg 2009
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Applications of Declarative Programming and Knowledge Management; 17th International C Dietmar Seipel,Michael Hanus,Armin Wolf Conference p