Abstract With the increasing of requirements from many aspects, various queries and analyses arise focusing on social network. Time is a common necessary dimension in types networks. Social networks with time information are called temporal networks, which can be when user sends message to another user. Keywords search consists finding relationships between group users that has set query labels...

Sentiment Analysis deals with consumer reviews available on blogs, discussion forums, E-commerce websites, and App Store. These online about products are also becoming essential for consumers companies as well. Consumers rely these to make their decisions very interested in judge services. a precious source of information requirement engineers. But not satisfied the overall sentiment; they like...

Holyoak and Thagard proposed that the retrieval and mapping tasks of analogy can be viewed as constraint satisfaction problems, and described a connectionist implementation of their proposal. In this paper, we describe another constraint satisfaction method for the two tasks in the context of visual analogy: in our method, the source cases are organized in a discrimination tree, and all the sou...

theoremsnametheoremlenabs ag+ ag ag& ag"lemmasass ]x ] (y ] z) = (x ] y) ] z150.71 0.65 0.65 0.78com ]x ] y = y ] x230.92 0.79 0.3{lemc ]com2 ] x ] (y ] z) = y ] (x ] z)150.71 0.65{{lemc ]lemc ] ? ] (y ] x) = y ] ( ? ] x)130.76 0.48 0.40{even ]e(x) e(x ] y)290.82 1.00{{dbl...

We survey the state of the art in the use of analogy in automated reasoning. We are particularly interested in the work of Melis and Whittle (1998). A detailed analysis of their analogy mechanism is given. The problem domain that they tackled is inductive theorems. We examine whether their technique can be used in other problems domains, e.g. in the domain of limit theorems and group theory.