Deontic Logic in Computer Science - Meyden, Ron; Siekmann, Jörg; Torre, Leendert; Torre, Leendert van der; Van der Meyden, Ron; van der Torre, Leendert (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Artificial Intelligence