1. Advances in Intelligent Systems and Computing;F Agatolio,2017
2. Lecture Notes in Computer Science;P Alvaro,2011
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Brass,2000
4. Lecture Notes in Computer Science;S Brass,2018
5. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July–5 August 2005, pp. 90–96. Professional Book Center (2005).
http://ijcai.org/Proceedings/05/Papers/1353.pdf