Dagstuhl Seminar 23151 "Normative reasoning for AI" 2023

View Statistics Email Alert RSS Feed

Description

Event name
Dagstuhl Seminar 23151 "Normative reasoning for AI" 2023
 
Event type
Event for scientific audience
 
Start date
10-04-2023
End date
14-04-2023
 
Location
Dagstuhl
Country
Germany
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Parent, Xavier Mechanizing normative reasoning: proof-theory or semantics? Part 2Presentation Vortrag12-Apr-2023