Publisher
Springer Nature Switzerland
Reference26 articles.
1. Antoniou, G., Billington, D., Governatori, G., Maher, M.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255–287 (2001)
2. Bhuiyan, H., Olivieri, F., Governatori, G., Islam, M.B., Bond, A., Rakotonirainy, A.: A methodology for encoding regulatory rules. In: Workshop on MIning and REasoning with Legal texts. CEUR Workshop Proceedings, vol. 2632. CEUR-WS.org (2019)
3. Billington, D.: Defeasible logic is stable. J. Log. Comput. 3(4), 379–400 (1993)
4. Billington, D., Antoniou, G., Governatori, G., Maher, M.J.: An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1), 6 (2010)
5. Cristani, M., Olivieri, F., Tomazzoli, C.: Automatic synthesis of best practices for energy consumptions. In: IMIS, pp. 154–161. IEEE Computer Society (2016)