In this paper we introduce a new definition of the first non-abelian cohomology of topological groups.  We relate the cohomology of a normal subgroup $N$ of a topological group $G$ and the quotient $G/N$ to the cohomology of $G$. We get the inflation-restriction exact sequence. Also, we obtain a seven-term exact cohomology sequence up to dimension 2. We give an interpretation of the first non-a...

There is uncertainty associated with the occurre nce of many events in real life. In this paper we develop a temporal logic to deal with such uncertain events and outline a possible implementation in an extension of PROLOG. Events are represented as fuzz y sets with the membership function giving the possibility of occurrence of the event in a given interval of time. The developed temporal logi...

With the increase in the bandwidth & the transmission speed over the internet, transmission of multimedia objects like video, audio, images has become an easier work. In this paper we provide an approach that can be useful for transmission of video objects over the internet without much fuzz. The approach provides a ontology based framework that is used to establish an automatic deployment of v...

This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta ...

In this paper, the notion of fuzzy semicompactness degrees isintroduced in $L$-fuzzy topological spaces by means of theimplication operation of $L$. Characterizations of fuzzysemicompactness degrees in $L$-fuzzy topological spaces  areobtained, and some properties of fuzzy semicompactness degrees areresearched.