Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/224053
-
Title:
If, Then, Ought. From Logic to Computation
en
Citation:
Parent, X. (2025, November 12).
If, Then, Ought. From Logic to Computation
[Presentation]. Habilitation thesis, University of Toulouse 2025, Toulouse, France. http://hdl.handle.net/20.500.12708/224053
-
Publication Type:
Presentation - Presentation
en
Language:
English
-
Authors:
Parent, Xavier
-
Organisational Unit:
E192-05 - Forschungsbereich Theory and Logic
-
Date (published):
12-Nov-2025
-
Event name:
Habilitation thesis, University of Toulouse 2025
en
Event date:
12-Nov-2025
-
Event place:
Toulouse, France
-
Keywords:
deontic logic; conditional norms; axiomatisation; automated reasoning
en
Research Areas:
Logic and Computation: 100%
-
Science Branch:
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Presentation
Show full item record
Page view(s)
7
checked on Jan 13, 2026
Google Scholar
TM
Check