Publication | Open Access

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies