The Smart Grid System (SGS) is a joint network comprising the power and communication network. In this paper, underlying intra-and-interdependencies between entities for given SGS captured using dependency model called Modified Implicative Interdependency Model (MIIM) [1]. Given an integer K, K-contingency list problem gives of K-most critical entities, failure which maximizes damage at current...

Errors in implicative theories coming from binary data are studied. First, two classes of errors that may affect implicative theories are singled out. Two approaches for finding errors of these classes are proposed, both of them based on methods of Formal Concept Analysis. The first approach uses the cardinality minimal (canonical or DuquenneGuigues) implication base. The construction of such a...

We study several degrees in defining a fuzzy positive implicative filter, which is a generalization of a fuzzy filter in BE-algebras.

We view hyper-graphs as incidence graphs, i.e. bipartite graphs with a set of nodes representing vertices and a set of nodes representing hyper-edges, with two nodes being adjacent if the corresponding vertex belongs to the corresponding hyper-edge. It defines a random hyper-multigraph specified by two distributions, one for the degrees of the vertices, and one for the sizes of the hyper-edges....

For disjunctive logic programs (DLPs) there are several proposals for deening interpreters, There have also been diierent approaches to assign least xpoints to DLPs. This paper proves that there exist an eecient proof procedure, namely hyper tableaux, which can be understood as a direct implementation of some of the well known xpoint iteration techniques. We show how a hyper tableaux refutation...