1. M. Balduccini and M. Gelfond. Logic programs with consistency-restoring rules. In Int. Symp. on Logical Formalization of Commonsense Reasoning, 2003
2. S. Bistarelli, F. Fioravanti, and P. Peretti. Defense tree for economic evaluations of security investment. In 1st Int. Conf. on Availability, Reliability and Security (ARES'06), pages 416–423, 2006
3. S. Bistarelli, F. Fioravanti, and P. Peretti. Using cp-nets as a guide for countermeasure selection. In ACM Symposium on Applied Computing, pages 300–304, 2007
4. S. Bistarelli, P. Peretti, and I. Trubitsyna. Analyzing security scenarios using defence tree and answer sets. In 13th Int. Conf. on Principles and Practice of Constraint Programming, 2007. Short paper
5. G. Brewka, I. Niemela, and M. Truszczynski. Answer set optimization. In 18th Int. Joint Conf. on Artificial Intelligence, pages 867–872, 2003