DC Field
Value
Language
dc.contributor.author
Parent, Xavier
-
dc.date.accessioned
2026-01-13T08:06:17Z
-
dc.date.available
2026-01-13T08:06:17Z
-
dc.date.issued
2025-11-12
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Parent, X. (2025, November 12). <i>If, Then, Ought. From Logic to Computation</i> [Presentation]. Habilitation thesis, University of Toulouse 2025, Toulouse, France. http://hdl.handle.net/20.500.12708/224053</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/224053
-
dc.language.iso
en
-
dc.subject
deontic logic
en
dc.subject
conditional norms
en
dc.subject
axiomatisation
en
dc.subject
automated reasoning
en
dc.title
If, Then, Ought. From Logic to Computation
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.event.name
Habilitation thesis, University of Toulouse 2025
en
tuw.event.startdate
12-11-2025
-
tuw.event.enddate
12-11-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Toulouse
-
tuw.event.country
FR
-
tuw.event.presenter
Parent, Xavier
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairetype
conference presentation
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Presentation
Show simple item record

Page view(s)

17
checked on Jan 13, 2026

Google ScholarTM

Check