Climate change has become a major problem for humanity in the last two decades. One of
the reasons that caused it, is our daily energy waste. People consume electricity in order to …

The research explores the potential of digital-twin-based methods and approaches aimed at
achieving an intelligent optimization and automation system for energy management of a …

In smart environments, there is an increasing demand for scalable and autonomous
management systems. In this regard, energy efficiency hands out challenging aspects, for …

The paper explores the use of a “digital twin model” applied to the case study of a residential
district, and organized as a three-dimensional data system able to participate to the …

In the setting of Defeasible Logic, we deal with the problem of revising and contracting a non-
monotonic theory while minimizing the number of rules to be removed from the theory itself …

Conflicting rules and rules with exceptions are very common in natural language
specification employed to describe the behaviour of devices operating in a real-world …

We present the new methodology ONTO-PLC to deliver software programs on system-on-
chip or single-board computers used to control industrial plants, as substitutes for …

In many logical rule-based systems, it often happens that opposite statements can be
concluded, hence superiorities (or priorities) among rules are needed to solve such conflicts …

Conflicting rules and rules with exceptions are very common in natural language
specification to describe the behaviour of devices operating in a real-world context. This is …

In the present paper we investigate one of the emerging applicability fields of pervasive
computing, that is, energy management and saving. We exploit innovative technologies to …