We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
We examine the relationship of a graph G and its random subgraphs which are defined by independently choosing each edge with probability p. Suppose that G has a spectral gap λ (...
This paper proposes a subjective map representation that enables a robot in a multiagent system to make decisions in a dynamic, hostile environment. A typical situation can be fou...
In this paper, the problem of fault detection in sampled-data systems is studied. It is shown that norms of a sampled system are equal to the corresponding norms of a certain disc...
Background: The large amount of data that are currently produced in the biological sciences can no longer be explored and visualized efficiently with traditional, specialized soft...
John L. Moreland, Apostol Gramada, Oleksandr V. Bu...