BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:3868-2675@rg-trier-luxemburg.gi.de
CLASS: PUBLIC
SUMMARY:"You ought to pay tax, but if you don't, then you should keep it a 
 secret" – Online talk by Prof. Leon van der Torre
DESCRIPTION:The Vienna PhD School of Informatics cordially invites you to t
 he following talk by\n\nProf. Leon van der Torre / University of Luxembourg
 \n\nTitle:    You ought to pay tax, but if you don't, then you should keep 
 it a secret:              Ten challenges for deontic logic in AI \n\nAbstra
 ct:\n\nDeontic logic formalizes normative reasoning in terms of logical rel
 ations between facts, obligations, prohibitions and permissions. It is used
  to reason about intelligent agents, to represent legal knowledge, and most
  recently, for explainable AI. In this overview talk I discuss ten challeng
 es from the deontic logic literature, from the AI point of view that deonti
 c logic may be seen as a branch of non-monotonic logic.\n\nShort biography:
 \n\nLeon van der Torre joined in January 2006 the University of Luxembourg 
 as a full professor for Artificial Intelligence. He co-developed input/outp
 ut logic, the game-theoretic approach to normative multi-agent systems, the
  ArchiMate approach and the LogiKEy methodology. He is a EurAI fellow, depu
 ty editor-in-chief and deontic logic corner editor of Journal of Logic and 
 Computation, member of editorial boards of Logic Journal of the IGPL and th
 e IFCoLog Journal of Logics and their Applications, member and former chair
  of the DEON steering committee, and editor of the handbook of deontic logi
 c and normative systems (2013, in preparation), handbook on formal argument
 ation (2018), handbook on normative multiagent systems (2018), and handbook
  on legal AI (In preparation).\n\nJoin via Zoom:\n\nhttps://tuwien.zoom.us/
 j/97724636200  Meeting-ID: 977 2463 6200
LOCATION:Online
DTSTAMP:20201103T074447Z
DTSTART:20201103T161500Z
DTEND:20201103T171500Z
END:VEVENT
END:VCALENDAR
