This article investigates the conceptual connection between argumentation and explanation
in the law and provides a formal account of it. To do so, the methods used are conceptual …

Formal arguments are often represented by (support, conclusion) pairs, but in this paper we
consider normative arguments represented by sequences of (brute, institutional, deontic) …

We present a novel computational approach to resolving conflicts among norms by
nonmonotonic normative reasoning (in constrained I/O logics). Our approach extends …

Normative reasoning is inherently defeasible. Formal argumentation has proven to be a
unifying framework for representing nonmonotonic logics. In this work, we provide an …

The issue of classification of legal norms is much debated in legal theory. One of the most
recurring topics in this area is the distinction between two types of legal norms: rules and …

An autonomous system is constructed by a manufacturer, operates in a society subject to
norms and laws, and interacts with end users. All of these actors are stakeholders affected …

This paper presents a formal model of specific reasoning patterns in conflict of laws (CoL).
CoL arises when multiple countries have jurisdiction due to the diverse nationalities of the …

In this paper, we explore the relationship between norms and emotions, examining the
fundamental implications that they entail in the development of future models of reasoning …

Formal Argumentation is emerging as a key reasoning paradigm building bridges among
knowledge representation and reasoning in artificial intelligence, informal argumentation in …

As aplicações científicas e comerciais em ambientes de nuvem demandam diversos
recursos resultando na necessidade de uma gestão eficiente. A complexidade dos sistemas …