Automated reasoning in normative detachment structures with ideal conditions.

Tomer Libal, Matteo Pascucci

Browse the full ICAIL paper archive.