Calculations based on density functional theory demonstrate the occurrence of local deformations of the perfect honeycomb lattice in nanographenes to form arrangements, with triangular symmetry, composed of six-membered ring patterns. The formation of these locally regular superstructures, which can be considered as benzenoid-like domains on the 2D graphene lattice, is ascribed to the gain in r...

Argument by multimodal metaphor usually plays a vital role of persuasion daily. In this paper, we analyse the argumentation of Lin Dan Commercial (LDC), an anti-corruption advertisement broadcasted on China Central Television, with conceptual metaphor theory and multimodal metaphor, in order to carry out an evaluation of the reasonableness and effectiveness of the argument. On practice, this re...

In this talk, I will show how our knowledge and belief are changed by agent communication. We apply dynamic epistemic logic to subtle differences of the result of agent communication, e.g., what is informed, what is known to each other, and what is aware of for each agent. En route, we discuss the reliability of information source, including the notion of communication channel. Thereafter, we a...

" Clarithmetic " is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic instead of the more traditional classical or intuitionistic logics. Formulas of clar-ithmetical theories represent interactive computational problems, and their " truth " is understood as existence of an algorithmic solution. Imposing various complexity constraints on such...

Pristine graphene is a semimetal and thus does not have a band gap. By making a nanometer scale periodic array of holes in the graphene sheet a band gap may form; the size of the gap is controllable by adjusting the parameters of the lattice. The hole diameter, hole geometry, lattice geometry, and the separation of the holes are parameters that all play an important role in determining the size...

La jurisprudence de la Cour africaine est marquée par une confirmation des nombreux standards posés tant dans le champ procédural que substantiel, les contentieux systémiques concernant Bénin et Tanzanie étant explications cet état fait. aurait pu aborder nouvelles questions, notamment en matière droits économiques sociaux, affaires portées cont...

With the development of next generation artificial intelligence, interplay between knowledge-based approaches and machine learning is gaining momentum. This trend drives researchers to pay attention possible novel developments in relevant areas, either based on their theoretical foundations or efficient applications. special issue collects newly developed works from logic, argumentation stimula...

Let G be a graph embedded in surface and let the set of all faces G. For given subset $$\mathcal F$$ even (faces bounded by an cycle), resonance with respect to $${\mathcal {F}}$$ , denoted $$R(G;\mathcal F)$$ is such that its vertex perfect matchings two vertices $$M_1$$ $$M_2$$ are adjacent if only symmetric difference $$M_1\oplus M_2$$ cycle bounding some face . It has been shown plane eleme...