3 results / Reset Filter
Ten Challenges for Deontic Logic in AI
The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).
The Power of Satisfiability Checking
Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.