Communications Newsroom Contact Subscribe Newsletter News Feed Calendar Feed Social Media Newsroom Doctoral School Any Tag Award Call for Applications Conference Digital Humanism Epilog Grant Open Position People Public Lecture Report Studies Sustainability Talk Vienna Gödel Lecture Workshop Doctoral School Events Only Any Kind News Only Events Only 2020 Any Year 2024 2023 2022 2021 2020 Show as Cards Show as List Show as Cards 2 results / Reset Filter 2020 Public Lecture Ten Challenges for Deontic Logic in AI 2020-11-03 Talk Event AI Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg). Talk The Power of Satisfiability Checking 2020-03-04 Doctoral School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.
Public Lecture Ten Challenges for Deontic Logic in AI 2020-11-03 Talk Event AI Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).
Talk The Power of Satisfiability Checking 2020-03-04 Doctoral School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.