1. Potassco - the potsdam answer set solving collection,
http://potassco.sourceforge.net/
2. Lecture Notes in Computer Science;M. Baldoni,2001
3. Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Modeling Agents in a Logic Action Language. In: Proc. of Workshop on Practical Reasoning Agents, FAPR 2000 (2000)
4. Baldoni, M., Martelli, A., Patti, V., Giordano, L.: Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence 41(2-4), 207–257 (2004),
http://www.springerlink.com/openurl.asp?id=doi:10.1023/B:AMAI.0000031196.24935.b5
5. Baral, C., Gelfond, G., Pontelli, E., Son, T.C.: Logic programming for finding models in the logics of knowledge and its applications: A case study. TPLP 10(4-6), 675–690 (2010)