Simone Scannapieco

• Ph.D. SD, MS, BSc
• Researcher at Real T S.r.l., Verona, Italy

Precision agriculture (PA) is a management concept that makes use of digital techniques to monitor and optimise agricultural production processes and represents a field of growing economic and social importance. Within this area of knowledge, there is a topic not yet fully explored: outlining a road map towards the definition of an affordable cobot...

In this paper we introduce an innovative application of translation techniques applied to the problem of forensics analysis of smartphones. This analysis has the specific objective of determining which messages (either text or vocal), transmitted from and received by a specific device, seized for forensic analysis, may contain data that are relevan...

The definition of alternative processing techniques as applied to business documents is inevitably at odds with long-standing issues derived by the unstructured nature of most business-related information. In particular, more and more refined methods for automated data extraction have been investigated over the years. The last frontier in this sens...

The paper explores a new method to represent digital documents — containing several sources of information (text, images, videos, multimedia galleries) — in a semantic space able to elevate the importance of each informative channel in giving a deeper meaning to the document. The proposed approach finds several applications such as Web Content Mini...

The definition of alternative processing techniques as applied to business documents is inevitably at odds with long-standing issues derived by the unstructured nature of most business-related information. In particular, more and more refined methods for automated data extraction have been investigated over the years. The last frontier in this sens...

A Bill of Exchange (BoE) is a paper-written contract involving three parties A, B and C where A is economically in debt with B and in credit with C. Once the parties approve a BoE, C is legally bound to pay B on behalf of A within a set deadline, so that the debt of A towards B is extinguished. Although regarded as an elegant and powerful variant o...

In smart environments, there is an increasing demand for scalable and autonomous management systems. In this regard, energy efficiency hands out challenging aspects, for both home and business usages. Scalability in energy management systems is particularly difficult in those industry sector where power consumption of branches located in remote are...

This work deals with the problem of automatic detection of device types given only the power consumption curve, which can be obtained by means of a cheap measurer applied to the device itself. We defined a novel method to detect these types and we describe it in details, providing ground truth evidence coming from the application of the method to r...

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 define a brand new system architecture for (i) centralized monitoring and (ii) real-time energy saving in distributed sub-networks of power consuming electric appliances. T...

This work deals with the problem of automatic detection of device types given only the power consumption curve, which can be obtained by means of a cheap measurer applied to the device itself. We defined a novel method to detect these types and we describe it in details, providing ground truth evidence coming from the application of the method to r...

In this paper we summarize the results obtained so far in the communities interested in the development of automated processing techniques as applied to business documents, and devise a few evolutions that are demanded by the current stage of either those techniques by themselves or by collateral sector advancements. It emerges a clear picture of a...

This work deals with the problem of energy efficiency and saving: we present a method to automatically extract behavioural rules from consumption data, so that these rules can be applied or fed to an automatic control system. To extract behavioural rules we shall be able to both define power plants similarity techniques and to analyse and gather ru...

Keynote presented @ KDWEB 2017

Open Domain Question Answering (ODQA) aims at automatically understanding and giving responses to general questions posed in natural language. Nowadays, the ability of a ODQA system is strictly dependent on how valuable information is effectively discovered and extracted from the huge amount of documents on the net – may it be structured (e.g., onl...

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 define a brand new system architecture for centralized monitoring and real-time energy saving of distributed power energy networks. We also introduce a working prototype wh...

The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of "alternative acceptable outcomes". We then study how the agent's beliefs and norms can be used...

Business Process Management approach allows an organisation to control every aspect of its internal processes (also called business processes) to improve them continuously, and to achieve at the same time the organisational objectives (or goals) business processes are built for. When the enterprise is seen as an entity embedded in an environment re...

We study the complexity of the Strategic Argumentation Problem for 2-player dialogue games where a player should decide what move to play at each turn in order to prove (disprove) a given claim. We shall prove that this is an NP-complete problem. The result covers one the most popular argumentation semantics proposed by Dung [4]: the grounded seman...

In strategic argumentation players exchange arguments to prove or reject a claim. This paper discusses and reports on research about two basic issues regarding the game-theoretic understanding of strategic argumentation games in the law: whether such games can be reasonably modelled as zero-sum games and as games with complete information.

Non-monotonic reasoning typically deals with three kinds of knowledge. Facts are meant to describe immutable statements of the environment. Rules define relationships among elements. Lastly, an ordering among the rules, in the form of a superiority relation, establishes the relative strength of rules. To revise a non-monotonic theory, we can change...

In this paper we study the complexity of strategic argumentation for dialogue games. A dialogue game is a 2-player game where the parties play arguments. We show how to model dialogue games in a skeptical, non-monotonic formalism, and we show that the problem of deciding what move (set of rules) to play at each turn is an NP-complete problem.

In this paper we propose an extension of Defeasible Logic to represent and compute three concepts of defeasible permission. In particular, we discuss different types of explicit permissive norms that work as exceptions to opposite obligations. Moreover, we show how strong permissions can be represented both with, and without introducing a new conse...

We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent may choose to meet her outcomes. The starting point is a co...

Scholars understand an agent as a system acting in an environment. Such an environment is usually governed by norms, and the agent has to obey to such norms when pursuing her objectives. We report a non-monotonic modal logic able to describe the environment, the norms, and the agent's capabilities as well as her mental attitudes (e.g., desires, int...

In this paper we analyse different notions of the concept of goal starting from the idea of sequences of "alternative acceptable outcomes". We study the relationships between goals and concepts like agent's beliefs, norms, and desires, and we propose a formalisation using Defeasible Logic that will be able to provide a computationally feasible appr...

This paper systematically investigates how to model legal contraction in an expressive variant of Defeasible Deontic Logic. We argue that legal contraction is an umbrella concept that includes operations which are conceptually and technically different: removing rules, adding exceptions, and modifying rule priorities. The peculiarities of deleting...

There are several contexts of non-monotonic reasoning where a priority between rules is established whose purpose is preventing conflicts. One formalism that has been widely employed for non-monotonic reasoning is the sceptical one known as Defeasible Logic. In Defeasible Logic the tool used for conflict resolution is a preference relation between...

We address the problem of define a modal defeasible theory able to capture intuitions as "being compliant" with a set of norms and a set of goals. We will treat norms and goals as modalised literals. From the definition of this new kind of logic, two main issues arises whether a theory is compliant or not: (a) how to revise a non compliant theory t...

In this paper we propose an extension of Defeasible Logic to represent different concepts of defeasible permission. Special attention is paid in particular to permissive norms that work as exceptions to opposite obligations.

We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach we adopt is applicable to legal reasoning, where users, in general, cannot change facts and rules, but can propose their preferences about the relative strength of the r...