Zobrazeno 1 - 10
of 133
pro vyhledávání: '"ParENt, Xavier"'
The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a hypersequent cal
Externí odkaz:
http://arxiv.org/abs/2406.09088
Autor:
Parent, Xavier, Benzmüller, Christoph
We report on the mechanization of (preference-based) conditional normative reasoning. Our focus is on Aqvist's system E for conditional obligation, and its extensions. Our mechanization is achieved via a shallow semantical embedding in Isabelle/HOL.
Externí odkaz:
http://arxiv.org/abs/2308.10686
A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of inte
Externí odkaz:
http://arxiv.org/abs/1903.10187
Autor:
Benzmüller, Christoph, Parent, Xavier
A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first authors universal logical reasoning approach ba
Externí odkaz:
http://arxiv.org/abs/1804.02929
Autor:
Benzmüller, Christoph, Parent, Xavier
A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the-shelf higher-order theorem provers and proof assi
Externí odkaz:
http://arxiv.org/abs/1803.09681
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, faithful. The work presented here provides the theoretical foundation for
Externí odkaz:
http://arxiv.org/abs/1802.08454
Autor:
Parent, Xavier, Benzmüller, Christoph
Publikováno v:
Journal of Applied Non-Classical Logics; Dec2024, Vol. 34 Issue 4, p561-592, 32p
Autor:
Demotier, Sophie, Limelette, Anne, Charmillon, Alexandre, Baux, Elisabeth, Parent, Xavier, Mestrallet, Stéphanie, Pavel, Simona, Servettaz, Amélie, Dramé, Moustapha, Muggeo, Anaelle, Wynckel, Alain, Gozalo, Claire, Taam, Malak Abou, Fillion, Aurélie, Jaussaud, Roland, Trenque, Thierry, Piroth, Lionel, Bani-Sadr, Firouze, Hentzien, Maxime
Publikováno v:
In eClinicalMedicine March 2022 45
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Parent, Xavier
Publikováno v:
KI: Künstliche Intelligenz; Aug2024, Vol. 38 Issue 1/2, p107-111, 5p