1. A. Bertoni, G. Grossi, A. Provetti, V. Kreinovich, and L. Tari. The prospect for answer sets computation by a genetic model. In Proc. of the AAAI Spring 2001 Symposium on Answer Set Programming.
http://www.cs.nmsu.edu/~tson/ASP2001/
, 2001.
2. Lect Notes Comput Sci;T. Dell’Armi,2001
3. Lect Notes Comput Sci;Y. Dimopoulos,1997
4. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. The diagnosis frontend of the dlv system. AI Communications, 12(1/2):99–111, 1999.
5. J. Frank. Learning short-term weights for GSAT. In Proc. 15h Intern. Joint Conference on AI, IJCAI-97, pages 384–391, 1997.