1. Opencyc, http://www.cyc.com.opencyc
2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, New York (2003)
3. Brain, M., De Vos, M.: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In: ASP 2003: Answer Set Programming: Advances in Theory and Implementation, Ceur-WS (2003), CEUR-WS.org/Vol-78/asp03-final-brain.ps
4. Osborne, M.J., Rubinstein, A.: A Course in Game Theory, 3rd edn. The MIT Press, Cambridge (1996)
5. Jade, http://jade.tilab.com/