The message of this paper is the following: there is one more basic principle of operational semantics of logic programming (besides backtracking, recursion, etc.) that gives a solution ofâ€¦ (More)

A method for intelligent video monitoring of abnormal behavior of people is considered that is based on parallel object-oriented logic programming. The main idea of the method consists in theâ€¦ (More)

A logic programming approach to the intelligent monitoring of anomalous human activity is considered. The main idea of this approach is in using of a first order logic for describing abstractâ€¦ (More)

Possibilities and challenges of using logic programming for representation, search and analysis of information in the Internet are considered. The mathematical problem of providing strict declarativeâ€¦ (More)

The convergence of logic and visual languages is recognized as a promising approach for both the logic programming automation and enhancement of visual modeling/programming methods. The distinctionâ€¦ (More)

2016 International Conference on Bioinformaticsâ€¦

2016

A method of analysis of EEG wave trains based on wavelets and nonparametric statistics is developed. The method is compared with standard methods based on Fourier spectra and complex Morlet waveletsâ€¦ (More)

This article considers the following central ideas underlying Actor Prolog: the classes and worlds, the mechanism of repetitive proof of subgoals, the underdetermined sets. The logical means of Actorâ€¦ (More)

In this paper, we consider the model of concurrent computations developed for logic programming of Internet agents. The purpose of creating this model of computations is to ensure the mathematicalâ€¦ (More)