Results 91 to 100 of about 697,727 (200)
Language, culture and society: Modality, face and societal logic
Globe, 2023 It is common to distinguish between individualistic cultures typically associated with Western countries and collectivistic cultures normally linked to Asian countries.
Per Durst-Andersen
doaj
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
A dynamic deontic logic for complex contracts [PDF]
, 2011 We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive than what is usually found
Schneider, Gerardo, +5 more
core +1 more source
Combining computation tree logic and deontic logic in natural deduction style calculus
, 2009 In this technical report we present a natural deduction calculus for branching-time deontic logic, a combination of the branching-time logic CTL and deontic modalities and prove its correctness.
Bolotov, A., Grigoriev, O.
core
Supercover Semantics for Deontic Action Logic
, 2019 The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice.
Nygren, Karl,
core +1 more source
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
Impossible and conflicting obligations in justification logic
, 2021 Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different.
Ghari, Meghdad +7 more
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
A Deontic Argumentation Framework Based on Deontic Defeasible Logic
, 2018 Deontic Defeasible Logic (DDL) is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. In this paper we present an argumentation system that corresponds to a variant of DDL.
Guido Governatori +2 more
openaire +3 more sources
Quantified temporal alethic-deontic logic
, 2015 The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic.
Rönnedal, Daniel,
core +1 more source