Author:
Publication: Artificial Intelligence
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and to
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfi