Results 51 to 60 of about 2,360 (124)
CLAN : a tool for contract analysis and conflict discovery [PDF]
, 2009 As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functional requirements.
7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009 +3 more
core +1 more source
Analytic Philosophy, Volume 66, Issue 1, Page 1-21, March 2025.Abstract Political philosophy should focus not on uplifting ideals, but rather, so I argue, on minimizing serious suffering. This is so not because other things do not ultimately matter (they do), but rather because in the political context, the stakes in terms of suffering are usually extremely high, so that any other considerations are almost always ...
David Enoch
wiley +1 more source
Conflict analysis of deontic contracts [PDF]
, 2008 Industry is currently pushing towards Service Oriented Architecture where code execution is not limited to the organisational borders but may extend outside of the organisation to which the sources are typically not accessible.
Fenech, Stephen +3 more
core
“Magic concepts” and USAID: Framing food systems reform to support the status quo
Development Policy Review, Volume 43, Issue 1, January 2025.Abstract Motivation International development policy is increasingly a contested site of agricultural politics. Many civil society organizations actively engage with alternative frameworks including sustainability, sovereignty, and self‐reliance to challenge the prevailing neoliberal construct of food systems.
Lia R. Kelinsky‐Jones +2 more
wiley +1 more source
Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea\u27 [PDF]
, 2009 Most juridical systems contain the principle that an act is only unlaw- ful if the agent conducting the act has a `guilty mind\u27 (`mens rea\u27). Dif- ferent law systems distinguish different modes of mens rea.
Broersen, Jan M.
core +1 more source
Epistemic normativity without epistemic teleology
Philosophical Issues, Volume 34, Issue 1, Page 349-370, October 2024.Abstract This article is concerned with a puzzle that arises from three initially plausible assumptions that form an inconsistent triad: (i) Epistemic reasons are normative reasons (normativism); (ii) reasons are normative only if conformity with them is good (the reasons/value‐link); (iii) conformity with epistemic reasons need not be good (the ...
Benjamin Kiesewetter
wiley +1 more source
Basic Action Deontic Logic [PDF]
, 2016 The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the definition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action ...
Canavotto, Ilaria, Giordani, Alessandro
core
A Petri Net-Based Notation for Normative Modeling: Evaluation on Deontic Paradoxes
, 2018 Developing systems operating in alignment with norms is not a straightforward endeavour. Part of the problems derive from the suggestion that law concerns a system of norms, which, in abstract, in a fixed point in time, could be approached and expressed atemporally, but, when it is contextualized and applied, it deals with a continuous flow of events ...
Sileno, G., Boer, A., van Engers, T.
openaire +2 more sources
A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study [PDF]
, 2002 In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception.
Governatori, Guido, Rotolo, Antonino
core +1 more source
, 2019 A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented.
Benzmüller, Christoph +2 more
core +1 more source