José Carmo

Portuguese logician who has worked on contrary-to-duty obligations, deontic logic, and normative reasoning in AI.

Contributed to formal solutions to the problem of contrary-to-duty obligations — situations where someone has violated a norm and further norms apply to their violation; developed deontic logic systems for normative multi-agent systems.