1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic (ToCL) 9(4) (2008)
2. Alferes, J.J., Dung, P.M., Pereira, L.M.: Scenario semantics of extended logic programs. In: LPNMR, pp. 334–348 (1993)
3. Advances in Information Security;G. Antoniou,2007
4. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. TPLP 6(6), 703–735 (2006)
5. Baier, J.A., McIlraith, S.A.: On planning with programs that sense. In: KR, pp. 492–502 (2006)