Logic reasoning is a significant ability of human intelligence and also an important task in artificial intelligence. The existing logic methods, quite often, need to design some patterns beforehand. This has led interesting question: can be directly learned from given data? problem termed as data concept logic. In this study, learning images, called LiLi task, first proposed. learn reason the ...

The Addressing Grand Challenges with Information Technology minitrack provides a forum for the discussion of the world’s most important or challenging problems, and the roles that information systems and information technologies can play in resolving those problems. The minitrack debuted just one year ago at HICSS-49, and was founded in response to common perceptions that a great deal of contem...

The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the introduction of a non-interleaving extension of barbed equivalence. This notion is then exploited in order to prove that concurrency cannot be observed through asynchronous interactions, i.e., that the interleaving and concurrent versions of a suitable asynchronous we...