Results 91 to 100 of about 13,565 (215)
Informatics in Medicine Unlocked, 2017 Ontology structure, a core of semantic web is an excellent tool for knowledge representation and semantic visualization. Moreover, knowledge reuse is made possible through similarity measure estimation between two ontologies, threshold estimation and use
T. MuthamilSelvan, B. Balamurugan
doaj +1 more source
You Owe Me a Make‐Up: Second Thoughts on the Second Person
European Journal of Philosophy, Volume 34, Issue 1, Page 364-376, March 2026.
Wayne Martin
wiley +1 more source
Temporal Aspects of Smart Contracts for Financial Derivatives
, 2018 Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance
C Clack, D Magazzeni, N Rescher, RM Lee
core +1 more source
Journal of Logic and Computation, 2018 Cariani (Ought and resolution semantics) has proposed a semantics for ought that combines two features: (i) it invalidates Inheritance, i.e. the inference from ought to ought whenever is logically weaker than , and it does so in a principled manner; (ii) it allows for coarseness, which means that ought can be true even if there are specific ways of ...
openaire +2 more sources
Applied SciencesAutomated verification through the analysis of system models is often recommended to evaluate the correctness of safety-critical systems. Failures in such systems can have serious effects on both individuals and hardware.
Bożena Woźna-Szcześniak +2 more
doaj +1 more source
The Paradox of Duties to Oneself [PDF]
, 2020 Philosophers have long argued that duties to oneself are paradoxical, as they seem to entail an incoherent power to release oneself from obligations.
Muñoz, Daniel
core
« This Empty Tale » : monstration de l’envers et dire politique dans How the Dead Live de Will Self
Études Britanniques Contemporaines, 2008 This article envisages one of Will Self’s novels through the prism of the uncanny. Such tonality owes a lot to a poetics of radical inversion that taps the powers of contradiction to renew the tradition of ars moriendi. By resorting to a logic of excess,
Jean-Michel Ganteau
doaj +1 more source
Algebras for Agent Norm-Regulation
, 2003 An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative ...
Boman, Magnus, Odelstad, Jan
core +1 more source
A structured argumentation framework for detaching conditional obligations
, 2016 We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by ...
Beirlaen, Mathieu, Straßer, Christian
core