Results 31 to 40 of about 2,360 (124)
In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and ...
Calardo E. +6 more
core +1 more source
Actors, actions, and initiative in normative system specification [PDF]
The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and
D.T. Sannella +19 more
core +3 more sources
An ethical case against “responsible” gambling advertising: A UK context‐based, semiotic perspective
Abstract Gambling advertising has hardly been subjected to moral scrutiny, and ethical evaluation is long overdue. In this paper, I put “responsible gambling” messages of UK marketing campaigns purporting efforts by the gambling industry to encourage safer gambling to ethical scrutiny.
Glauco De Vita
wiley +1 more source
ABSTRACT Recent philosophy of language has seen a growing interest in what is often called the dynamics of conversation or conversational scorekeeping, that is, the ways in which speech and context mutually interact in the course of a conversation.
Lars Dänzer +2 more
wiley +1 more source
Supererogation and the Limits of Moral Obligations. Guest Editor’s Preface [PDF]
Do moral obligations include all the good that can be possibly achieved? Does every instance of the good always entail obligatory performance?
Grigoletto, Simone
core +1 more source
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning.
Libal, Tomer, Pascucci, Matteo
core +3 more sources
Dealing with contract violations: Formalism and domain specific language [PDF]
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations.
Governatori, Guido, Milosevic, Zoran
core +1 more source
Institutions, in time: Designing feedback pathways for shared infrastructure transitions
Abstract Electric utilities, challenged by a rapidly unfolding energy transition, use many informal institutions to bridge across technologies and sectors. Little is known, however, about how electric utility systems and other polycentric systems' institutions‐in‐use vary and evolve over time.
Matthew Grimley +6 more
wiley +1 more source
Representing Business Contracts in RuleML [PDF]
This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring. This will be done in the setting of RuleML.
Antoniou G. +4 more
core +2 more sources
The virtues of limits and environmental sustainability in healthcare
Abstract The spectre of human‐induced climate change has drawn attention to the need to discover new, environmentally sustainable approaches to healthcare. This article draws upon David McPherson's The Virtues of Limits (2021) to develop a virtue ethics for sustainability in healthcare.
Xavier Symons
wiley +1 more source

