When managing intelligence, surveillance, and reconnaissance (ISR) operations in a
coalition context, assigning available sensing assets to mission tasks can be challenging …

Model checking is an established method for verifying behavioral properties of system
models. But model checkers tend to support low-level modeling languages that require …

Systems need to preserve their users' privacy. In social software, such as online social
networks, preserving privacy is especially difficult since content is managed by more than …

式规则方法[+], 多A601D 方法[,], 合同网方法[)] 等等. 在资源能力评估方面, 如神经网络方法['],
基于效用函数方法[$] 等. 234F8C 采用值函数的线性凸组合来评估卫星和无人机资源对任务的 …

This paper investigates how to restrict the spread of sensitive information. This work is
situated in a military context, and provides a tractable method to decide what semantic …

Information derived from sensor networks plays a crucial role in the success of many critical
tasks such as surveillance, and border monitoring. In order to derive the correct information …

The net-centric ISR/ISTAR networks are expected to play a crucial role in the success of
critical tasks such as base perimeter protection, border patrol and so on. To accomplish …

The paper presents ALASKA, a multi-layered platform enabling to perform ontological
conjunctive query answering (OCQA) over heterogeneously-stored knowledge bases in a …

In this paper, we present Ontological Logic Programming (OLP), a novel approach that
combines logic programming with ontological reasoning. OLP enables the use of ontological …

A promising way to improve the programming process is increasing the declarativeness of
programming, approximation to natural language on the base of accumulating and actively …