An application of Generative Diffusion Techniques for the reification human portraits in artistic paintings is presented. By we intend transformation painter’s figurative abstraction into a real face. The exploits recent embedding technique Denoising Implicit Models (DDIM), inverting generative process and mapping visible image its latent representation. In this way, can first embed portrait sp...

Emergence is a fascinating concept for most scientists, and multiagent simulations are known to allow and facilitate its representation. Research in this area yield to several definitions and classifications of emergent phenomena, but only a few of them offers a solution for a concrete reification of emergence in simulation. This paper deals with this important notion of emergence reification t...

The advantage of the RDF/DAML+OIL family of languages over ordinary XML is that it is topic-neutral and composable. However, its expressivity is severely limited. This limitation is well known, and the usual remedy is reification, in which RDF is used to describe formulas in a richer language. We propose a method for encoding typed predicate calculus using reification. The method generalizes to...

Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a concept to be regarded at the same time as an individual (the instance of some other meta-level concept) • allowing an individual to represent a collection (set) of other individuals. The first extension, called concept...

SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T , are composed with logical connectives. The DPLL(T ) approach to SMT has risen to prominence as a technique for solving these quantifier-free problems. The key idea in DPLL(T ) is to couple unit propagation in the propositional part of the problem...

We question the arguments and data presented by Larsen and Baddeley (this issue 2003) in support of the phonological loop account of verbal short-term memory on a number of grounds. These include the correlation between effect size and the presence of a phonological similarity effect in the data, and the existence elsewhere in the literature of effects of articulatory suppression and interferen...

The concept of reification is used by Marx to describe a form of social consciousness in which human relations come to be identified with the physical properties of things, thereby acquiring an appearance of naturalness and inevitability. This essay presents a systematic reconstruction of Marx's theory of reification, with an emphasis on the social-structural dimensions of the concept. This rec...