Titlebook: Applications of Declarative Programming and Knowledge Management; 17th International C Dietmar Seipel,Michael Hanus,Armin Wolf Conference p

MORT

故意

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.

使殘廢

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.

可觸知

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

羅盤

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

喃喃而言

僵硬

驚呼

978-3-642-00674-6Springer-Verlag Berlin Heidelberg 2009